Consider the following premises. Thomas is happy. It is sunny or it is not windy. If Thomas were happy, then it is windy. Can we infer the following from them? If we can, name the inference rule being used: It is not sunny.
 From the fact that if Thomas were happy, then it is windy, and that Thomas is happy we can infer that it is windy via modus ponens. From the fact that it is sunny or it is not windy we can infer that if it is windy, then it is sunny via rewriting. Finally, from the fact that if it is windy, then it is sunny, and that it is windy we can infer that it is sunny via modus ponens, which contradicts that It is not sunny. Therefore, the answer is no.