Translate the following inference to logic notation: For all x, x_8 will drink water or x_8 is a cashier. If Charles drinks water, then John is not playing a game. For all x, x_17 will play a game. Therefore Charles is a cashier.
forall x: P(x) or Q(x). P(a) -> ~R(b). forall x: R(x). Therefore Q(a).