Consider the following premises. If Michael were a server, then it is snowing. If it is cold, then Susan is a janitor. If it snows, then it is cold. Susan is not a janitor. Can we infer the following from them? If we can, name the inference rule being used: Michael is not a server.
 From the fact that if Michael were a server, then it is snowing, and that if it snows, then it is cold we can infer that if Michael were a server, then it is cold via transitivity. From the fact that if Michael were a server, then it is cold, and that if it is cold, then Susan is a janitor we can infer that if Michael were a server, then Susan is a janitor via transitivity. Finally, from the fact that if Michael were a server, then Susan is a janitor, and that Susan is not a janitor we can infer that Michael is not a server via modus tollens. Therefore, the answer is yes.