Consider the following premises. James is not working. For all x_14, if x_14 were rich, then x_14 is working. If James were not rich, then Sarah is poor. Can we infer the following from them? If we can, name the inference rule being used: Sarah is not poor.
 From the fact that for all x_14, if x_14 were rich, then x_14 is working we can infer that if James were rich, then James is working via universal instantiation. From the fact that if James were rich, then James is working, and that James is not working we can infer that James is not rich via modus tollens. Finally, from the fact that if James were not rich, then Sarah is poor, and that James is not rich we can infer that Sarah is poor via modus ponens, which contradicts that Sarah is not poor. Therefore, the answer is no.