Translate the following inference to logic notation: For all x, x_9 will drink water. If Robert were a bartender, then Richard is playing a game. Richard is not playing a game. Therefore Robert is not a bartender and John is drinking water.
forall x: P(x). p -> q. ~q. Therefore ~p and P(a).