Consider the following premises. For all x_15, x_15 will play a game. For all x_15, x_15 is bored or x_15 will not play a game. Can we infer the following from them? If we can, name the inference rule being used: John is bored or James is a lawyer.
 From the fact that for all x_15, x_15 is bored or x_15 will not play a game we can infer that for all x_15, if x_15 plays a game, then x_15 is bored via universal rewriting. From the fact that for all x_15, if x_15 plays a game, then x_15 is bored, and that for all x_15, x_15 will play a game we can infer that for all x_15, x_15 is bored via universal modus ponens. From the fact that for all x_15, x_15 is bored we can infer that John is bored via universal instantiation. Finally, from the fact that John is bored we can infer that John is bored or James is a lawyer via addition. Therefore, the answer is yes.