Consider the following premises. If David were curious, then it is overcast. It is raining or Robert is taking a plane. It is overcast or Robert is not taking a plane. It is not raining or David is curious. Can we infer the following from them? If we can, name the inference rule being used: It is not overcast.
 From the fact that it is raining or Robert is taking a plane, and that it is not raining or David is curious we can infer that Robert is taking a plane or David is curious via resolution. From the fact that it is overcast or Robert is not taking a plane we can infer that if Robert takes a plane, then it is overcast via rewriting. Finally, from the fact that if Robert takes a plane, then it is overcast, that if David were curious, then it is overcast, and that Robert is taking a plane or David is curious we can infer that it is overcast via disjunction elimination, which contradicts that It is not overcast. Therefore, the answer is no.