Consider the following premises. For all z, if z were a server, then z is poor. For all z, z is not poor. If it is cold, then Susan is a server. If Susan were a server, then it is cold. Can we infer the following from them? If we can, name the inference rule being used: It is not cold.
 From the fact that for all z, if z were a server, then z is poor, and that for all z, z is not poor we can infer that for all z, z is not a server via universal modus tollens. From the fact that for all z, z is not a server we can infer that Susan is not a server via universal instantiation. From the fact that if Susan were a server, then it is cold, and that if it is cold, then Susan is a server we can infer that Susan is a server if and only if it is cold via biconditional introduction. Finally, from the fact that Susan is a server if and only if it is cold, and that Susan is not a server we can infer that it is not cold via biconditional elimination. Therefore, the answer is yes.