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