Consider the following premises. If Richard listens to a song, then Karen is making tea. If Barbara drives a car, then Karen is making tea. Richard is listening to a song. If Karen makes tea, then it is raining. Can we infer the following from them? If we can, name the inference rule being used: It is raining.
 From the fact that Richard is listening to a song we can infer that Richard is listening to a song or Barbara is driving a car via addition. From the fact that if Richard listens to a song, then Karen is making tea, that if Barbara drives a car, then Karen is making tea, and that Richard is listening to a song or Barbara is driving a car we can infer that Karen is making tea via disjunction elimination. Finally, from the fact that if Karen makes tea, then it is raining, and that Karen is making tea we can infer that it is raining via modus ponens. Therefore, the answer is yes.