Consider the following premises. It is sunny or it is not windy. It is windy. If it is sunny, then it is overcast. Can we infer the following from them? If we can, name the inference rule being used: It is not overcast.
 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. 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. Finally, from the fact that if it is sunny, then it is overcast, and that it is sunny we can infer that it is overcast via modus ponens, which contradicts that It is not overcast. Therefore, the answer is no.