Translate the following inference to logic notation: For all x, x_18 will play a game. For all x, if x_18 drinks water, then x_18 is playing a game. For all x, if x_18 plays a game, then x_18 is drinking water. Therefore James is drinking water or it is windy.
forall x: P(x). forall x: Q(x) -> P(x). forall x: P(x) -> Q(x). Therefore Q(a) or p.