Translate the following inference to logic notation: For all x, x_14 will not play a game. Mary is cooking if and only if David is playing a game. If it snows, then Mary is cooking. Therefore it is not snowing.
forall x: ~P(x). p <-> P(a). q -> p. Therefore ~q.