Translate the following inference to logic notation: For all x, x_12 is not a musician. If it snows, then Jessica is playing a game. If Jessica plays a game, then Sarah is a musician. If Sarah were a musician, then it is snowing. Therefore Jessica is not playing a game.
forall x: ~P(x). p -> q. q -> P(a). P(a) -> p. Therefore ~q.