Consider the following premises. Linda is a poet or Charles is driving a car. If Charles drives a car, then it is sunny. It is sunny or Sarah is not taking a plane. Linda is not a poet or Sarah is taking a plane. Can we infer the following from them? If we can, name the inference rule being used: It is not sunny.
 From the fact that Linda is a poet or Charles is driving a car, and that Linda is not a poet or Sarah is taking a plane we can infer that Charles is driving a car or Sarah is taking a plane via resolution. From the fact that it is sunny or Sarah is not taking a plane we can infer that if Sarah takes a plane, then it is sunny via rewriting. Finally, from the fact that if Charles drives a car, then it is sunny, that if Sarah takes a plane, then it is sunny, and that Charles is driving a car or Sarah is taking a plane we can infer that it is sunny via disjunction elimination, which contradicts that It is not sunny. Therefore, the answer is no.