Consider the following premises. Barbara is excited. If it is late, then it is overcast. If Susan plays a game, then it is late. If Barbara were excited, then Susan is playing a game. Can we infer the following from them? If we can, name the inference rule being used: It is overcast.
 From the fact that if Barbara were excited, then Susan is playing a game, and that Barbara is excited we can infer that Susan is playing a game via modus ponens. From the fact that if Susan plays a game, then it is late, and that if it is late, then it is overcast we can infer that if Susan plays a game, then it is overcast via transitivity. Finally, from the fact that if Susan plays a game, then it is overcast, and that Susan is playing a game we can infer that it is overcast via modus ponens. Therefore, the answer is yes.