Consider the following premises. For all x_12, if x_12 drinks water, then x_12 is not a sailor. For all x_12, x_12 is a sailor and x_12 is a police officer. If Jessica were an electrician, then James is drinking water. Can we infer the following from them? If we can, name the inference rule being used: Jessica is not an electrician.
 From the fact that for all x_12, x_12 is a sailor and x_12 is a police officer we can infer that for all x_12, x_12 is a sailor via universal simplification. From the fact that for all x_12, if x_12 drinks water, then x_12 is not a sailor, and that for all x_12, x_12 is a sailor we can infer that for all x_12, x_12 will not drink water via universal modus tollens. From the fact that for all x_12, x_12 will not drink water we can infer that James is not drinking water via universal instantiation. Finally, from the fact that if Jessica were an electrician, then James is drinking water, and that James is not drinking water we can infer that Jessica is not an electrician via modus tollens. Therefore, the answer is yes.