Consider the following premises. For all x_12, x_12 will go running if and only if x_12 will play a game. For all x_12, x_12 will not go running. For all x_12, if x_12 takes a plane, then x_12 is playing a game. David is taking a plane or Joseph is drinking water. Can we infer the following from them? Joseph is drinking water.
 From the fact that for all x_12, x_12 will go running if and only if x_12 will play a game, and that for all x_12, x_12 will not go running we can infer that for all x_12, x_12 will not play a game. From the fact that for all x_12, if x_12 takes a plane, then x_12 is playing a game, and that for all x_12, x_12 will not play a game we can infer that for all x_12, x_12 will not take a plane. From the fact that for all x_12, x_12 will not take a plane we can infer that David is not taking a plane. Finally, from the fact that David is taking a plane or Joseph is drinking water, and that David is not taking a plane we can infer that Joseph is drinking water. Therefore, the answer is yes.