Consider the following premises. Mary is happy. William is driving a car. Can we infer the following from them? If we can, name the inference rule being used: William is driving a car or Susan is playing a game.
 From the fact that William is driving a car, and that Mary is happy we can infer that William is driving a car and Mary is happy via conjunction. From the fact that William is driving a car and Mary is happy we can infer that William is driving a car via simplification. Finally, from the fact that William is driving a car we can infer that William is driving a car or Susan is playing a game via addition. Therefore, the answer is yes.