Consider the following premises. If it is overcast, then it is not windy. If Sarah climbs a mountain, then it is windy. Thomas is making tea. It is not cloudy or Sarah is climbing a mountain. If Thomas makes tea, then David is a taxi driver. If Patricia were curious, then it is windy. It is cloudy or Patricia is curious. Can we infer the following from them? If we can, name the inference rule being used: David is a taxi driver and it is not overcast.
 From the fact that it is cloudy or Patricia is curious, and that it is not cloudy or Sarah is climbing a mountain we can infer that Patricia is curious or Sarah is climbing a mountain via resolution. From the fact that if Patricia were curious, then it is windy, that if Sarah climbs a mountain, then it is windy, and that Patricia is curious or Sarah is climbing a mountain we can infer that it is windy via disjunction elimination. From the fact that if Thomas makes tea, then David is a taxi driver, and that Thomas is making tea we can infer that David is a taxi driver via modus ponens. From the fact that if it is overcast, then it is not windy, and that it is windy we can infer that it is not overcast via modus tollens. Finally, from the fact that David is a taxi driver, and that it is not overcast we can infer that David is a taxi driver and it is not overcast via conjunction. Therefore, the answer is yes.