Consider the following premises. For all x_2, x_2 is rich or x_2 is curious. John is a writer. Charles is not rich. Can we infer the following from them? If we can, name the inference rule being used: Charles is not curious.
 From the fact that for all x_2, x_2 is rich or x_2 is curious we can infer that Charles is rich or Charles is curious via universal instantiation. Finally, from the fact that Charles is rich or Charles is curious, and that Charles is not rich we can infer that Charles is curious via disjunctive syllogism, which contradicts that Charles is not curious. Therefore, the answer is no.