Consider the following premises. If it is sunny, then Michael is running. It is sunny. Patricia is a taxi driver. Can we infer the following from them? If we can, name the inference rule being used: Michael is running.
 From the fact that it is sunny, and that Patricia is a taxi driver we can infer that it is sunny and Patricia is a taxi driver via conjunction. From the fact that it is sunny and Patricia is a taxi driver we can infer that it is sunny via simplification. Finally, from the fact that if it is sunny, then Michael is running, and that it is sunny we can infer that Michael is running via modus ponens. Therefore, the answer is yes.