Consider the following premises. If Susan drives a car, then John is a doctor. If Michael cooks, then John is not a doctor. For all z_4, z_4 will drive a car. Can we infer the following from them? If we can, name the inference rule being used: Michael is cooking.
 From the fact that for all z_4, z_4 will drive a car we can infer that Susan is driving a car via universal instantiation. From the fact that if Susan drives a car, then John is a doctor, and that Susan is driving a car we can infer that John is a doctor via modus ponens. Finally, from the fact that if Michael cooks, then John is not a doctor, and that John is a doctor we can infer that Michael is not cooking via modus tollens, which contradicts that Michael is cooking. Therefore, the answer is no.