Consider the following premises. David is an electrician. For all x, if x were curious, then x is playing a game. For all x, if x were a soldier, then x is playing a game. For all x, x is curious or x is a soldier. Can we infer the following from them? If we can, name the inference rule being used: David is an electrician or Sarah is running.
 From the fact that for all x, if x were curious, then x is playing a game, that for all x, if x were a soldier, then x is playing a game, and that for all x, x is curious or x is a soldier we can infer that for all x, x will play a game via universal disjunction elimination. From the fact that for all x, x will play a game we can infer that Charles is playing a game via universal instantiation. From the fact that David is an electrician, and that Charles is playing a game we can infer that David is an electrician and Charles is playing a game via conjunction. From the fact that David is an electrician and Charles is playing a game we can infer that David is an electrician via simplification. Finally, from the fact that David is an electrician we can infer that David is an electrician or Sarah is running via addition. Therefore, the answer is yes.