Translate the following inference to logic notation: For all x, x is a nurse if and only if x will play a game. Jessica is not playing a game. It is snowing. Therefore Jessica is not a nurse.
forall x: P(x) <-> Q(x). ~Q(a). p. Therefore ~P(a).