Consider the following premises. Joseph is not taking a plane or Karen is a poet. For all y, y will take a plane or y will sleep. Joseph is not sleeping. Can we infer the following from them? If we can, name the inference rule being used: Karen is not a poet.
 From the fact that for all y, y will take a plane or y will sleep we can infer that Joseph is taking a plane or Joseph is sleeping via universal instantiation. From the fact that Joseph is taking a plane or Joseph is sleeping, and that Joseph is not taking a plane or Karen is a poet we can infer that Joseph is sleeping or Karen is a poet via resolution. Finally, from the fact that Joseph is sleeping or Karen is a poet, and that Joseph is not sleeping we can infer that Karen is a poet via disjunctive syllogism, which contradicts that Karen is not a poet. Therefore, the answer is no.