Consider the following premises. Robert is not a politician or Karen is running. For all x_11, x_11 is not poor. Robert is a politician. Can we infer the following from them? If we can, name the inference rule being used: Karen is not running.
 From the fact that for all x_11, x_11 is not poor we can infer that Jennifer is not poor via universal instantiation. From the fact that Robert is a politician we can infer that Robert is a politician or Jennifer is poor via addition. From the fact that Robert is a politician or Jennifer is poor, and that Robert is not a politician or Karen is running we can infer that Jennifer is poor or Karen is running via resolution. Finally, from the fact that Jennifer is poor or Karen is running, and that Jennifer is not poor we can infer that Karen is running via disjunctive syllogism, which contradicts that Karen is not running. Therefore, the answer is no.