step: cutting down trees in a forest causes the number of trees to decrease in that forest & cutting down a forest means cutting down trees in a forest
inference: cutting down a forest causes the number of trees to decrease in that forest