Translate the following inference to logic notation: If it rains, then Jennifer is playing a game. It is raining if and only if Karen is happy. If Jennifer plays a game, then it is raining. Karen is not happy. Therefore Jennifer is not playing a game.
p -> q. p <-> r. q -> p. ~r. Therefore ~q.