Consider the following premises. If David makes tea, then Charles is a lawyer. If it is overcast, then it is windy. If it snows, then it is windy. It is overcast or it is snowing. David is making tea. Can we infer the following from them? If we can, name the inference rule being used: It is windy and Charles is a lawyer.
 From the fact that if David makes tea, then Charles is a lawyer, and that David is making tea we can infer that Charles is a lawyer via modus ponens. From the fact that if it is overcast, then it is windy, that if it snows, then it is windy, and that it is overcast or it is snowing we can infer that it is windy via disjunction elimination. Finally, from the fact that it is windy, and that Charles is a lawyer we can infer that it is windy and Charles is a lawyer via conjunction. Therefore, the answer is yes.