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