Consider the following premises. John is a lawyer or Jessica is not a server. Charles is fast. If Charles were fast, then Jessica is a server. Can we infer the following from them? If we can, name the inference rule being used: John is not a lawyer.
 From the fact that John is a lawyer or Jessica is not a server we can infer that if Jessica were a server, then John is a lawyer via rewriting. From the fact that if Charles were fast, then Jessica is a server, and that if Jessica were a server, then John is a lawyer we can infer that if Charles were fast, then John is a lawyer via transitivity. Finally, from the fact that if Charles were fast, then John is a lawyer, and that Charles is fast we can infer that John is a lawyer via modus ponens, which contradicts that John is not a lawyer. Therefore, the answer is no.