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