Translate the following inference to logic notation: It is cloudy. For all x, x_15 will play a game and x_15 is a taxi driver. For all x, x_15 is a cashier. Therefore it is cloudy and David is playing a game.
p. forall x: P(x) and Q(x). forall x: R(x). Therefore p and P(a).