Consider the following premises. If Joseph plays squash, then Sarah is not driving a car. Sarah is driving a car. It is sunny. Can we infer the following from them? If we can, name the inference rule being used: Joseph is playing squash.
 From the fact that Sarah is driving a car, and that it is sunny we can infer that Sarah is driving a car and it is sunny via conjunction. From the fact that Sarah is driving a car and it is sunny we can infer that Sarah is driving a car via simplification. Finally, from the fact that if Joseph plays squash, then Sarah is not driving a car, and that Sarah is driving a car we can infer that Joseph is not playing squash via modus tollens, which contradicts that Joseph is playing squash. Therefore, the answer is no.