Consider the following premises. Patricia is climbing a mountain. Jennifer is a nurse or Susan is running. If Jennifer were a nurse, then Susan is a poet. For all x_14, if x_14 goes running, then x_14 is a poet. Can we infer the following from them? If we can, name the inference rule being used: Susan is not a poet.
 From the fact that for all x_14, if x_14 goes running, then x_14 is a poet we can infer that if Susan goes running, then Susan is a poet via universal instantiation. Finally, from the fact that if Jennifer were a nurse, then Susan is a poet, that if Susan goes running, then Susan is a poet, and that Jennifer is a nurse or Susan is running we can infer that Susan is a poet via disjunction elimination, which contradicts that Susan is not a poet. Therefore, the answer is no.