Consider the following premises. If Thomas sleeps, then Sarah is playing tennis. If Michael were a mechanic, then Sarah is not playing tennis. If it is overcast, then Thomas is sleeping. It is overcast. Can we infer the following from them? If we can, name the inference rule being used: Michael is a mechanic.
 From the fact that if it is overcast, then Thomas is sleeping, and that it is overcast we can infer that Thomas is sleeping via modus ponens. From the fact that if Thomas sleeps, then Sarah is playing tennis, and that Thomas is sleeping we can infer that Sarah is playing tennis via modus ponens. Finally, from the fact that if Michael were a mechanic, then Sarah is not playing tennis, and that Sarah is playing tennis we can infer that Michael is not a mechanic via modus tollens, which contradicts that Michael is a mechanic. Therefore, the answer is no.