Consider the following premises. Michael is playing a game. John is a taxi driver. If Patricia drives a car, then John is not a taxi driver. Can we infer the following from them? If we can, name the inference rule being used: Patricia is driving a car.
 From the fact that John is a taxi driver, and that Michael is playing a game we can infer that John is a taxi driver and Michael is playing a game via conjunction. From the fact that John is a taxi driver and Michael is playing a game we can infer that John is a taxi driver via simplification. Finally, from the fact that if Patricia drives a car, then John is not a taxi driver, and that John is a taxi driver we can infer that Patricia is not driving a car via modus tollens, which contradicts that Patricia is driving a car. Therefore, the answer is no.