Consider the following premises. If Thomas were a carpenter, then it is cloudy. It is not cloudy. It is sunny and it is windy. Can we infer the following from them? If we can, name the inference rule being used: Thomas is not a carpenter.
We can infer this via the modus tollens rule. Therefore, the answer is yes.