Translate the following inference to logic notation: Jennifer is fast if and only if it is snowing. For all x, if x_8 plays a game, then x_8 is fast. For all x, if x_8 were fast, then x_8 is playing a game. It is not snowing. Therefore Jennifer is not playing a game.
P(a) <-> p. forall x: Q(x) -> P(x). forall x: P(x) -> Q(x). ~p. Therefore ~Q(a).