Consider the following premises. If Patricia were poor, then Patricia is curious. Patricia is not poor. For all x_14, x_14 is poor or x_14 is not curious. Can we infer the following from them? If we can, name the inference rule being used: Patricia is not curious.
 From the fact that for all x_14, x_14 is poor or x_14 is not curious we can infer that for all x_14, if x_14 were curious, then x_14 is poor via universal rewriting. From the fact that for all x_14, if x_14 were curious, then x_14 is poor we can infer that if Patricia were curious, then Patricia is poor via universal instantiation. From the fact that if Patricia were poor, then Patricia is curious, and that if Patricia were curious, then Patricia is poor we can infer that Patricia is poor if and only if Patricia is curious via biconditional introduction. From the fact that Patricia is poor if and only if Patricia is curious we can infer that if Patricia were curious, then Patricia is poor via biconditional elimination. Finally, from the fact that if Patricia were curious, then Patricia is poor, and that Patricia is not poor we can infer that Patricia is not curious via modus tollens. Therefore, the answer is yes.