Consider the following premises. It is not cloudy. For all x, if x were a police officer, then x is an artist. It is cloudy or Linda is not an artist. Linda is a mechanic. Can we infer the following from them? If we can, name the inference rule being used: Linda is a police officer.
 From the fact that for all x, if x were a police officer, then x is an artist we can infer that if Linda were a police officer, then Linda is an artist via universal instantiation. From the fact that it is cloudy or Linda is not an artist we can infer that if Linda were an artist, then it is cloudy via rewriting. From the fact that if Linda were an artist, then it is cloudy, and that it is not cloudy we can infer that Linda is not an artist via modus tollens. Finally, from the fact that if Linda were a police officer, then Linda is an artist, and that Linda is not an artist we can infer that Linda is not a police officer via modus tollens, which contradicts that Linda is a police officer. Therefore, the answer is no.