step: renewable is a property of resources & if something cannot have a certain property then something else with that property is not that something
inference: if one resource cannot be renewable then another resource that is renweable is not that one resource