Translate the following inference to logic notation: For all x, x_14 will play a game. If David were a carpenter, then Patricia is not playing a game. For all x, x_14 is happy. Therefore David is not a carpenter.
forall x: P(x). p -> ~P(a). forall x: Q(x). Therefore ~p.