Consider the following premises. For all x_11, x_11 will cook if and only if x_11 will drive a car. If Jessica doesn't cook, then it is snowing. Jessica is not driving a car. Can we infer the following from them? If we can, name the inference rule being used: It is snowing.
 From the fact that for all x_11, x_11 will cook if and only if x_11 will drive a car we can infer that Jessica is cooking if and only if Jessica is driving a car via universal instantiation. From the fact that Jessica is cooking if and only if Jessica is driving a car, and that Jessica is not driving a car we can infer that Jessica is not cooking via biconditional elimination. Finally, from the fact that if Jessica doesn't cook, then it is snowing, and that Jessica is not cooking we can infer that it is snowing via modus ponens. Therefore, the answer is yes.