Consider the following premises. Charles is playing a game or Mary is reading a book. If Mary reads a book, then Karen is poor. For all x_8, if x_8 were a janitor, then x_8 is poor. Charles is not playing a game or Karen is a janitor. Can we infer the following from them? If we can, name the inference rule being used: Karen is not poor.
 From the fact that for all x_8, if x_8 were a janitor, then x_8 is poor we can infer that if Karen were a janitor, then Karen is poor via universal instantiation. From the fact that Charles is playing a game or Mary is reading a book, and that Charles is not playing a game or Karen is a janitor we can infer that Mary is reading a book or Karen is a janitor via resolution. Finally, from the fact that if Mary reads a book, then Karen is poor, that if Karen were a janitor, then Karen is poor, and that Mary is reading a book or Karen is a janitor we can infer that Karen is poor via disjunction elimination, which contradicts that Karen is not poor. Therefore, the answer is no.