Translate the following inference to logic notation: It is late if and only if Karen is playing a game. It is late if and only if Robert is happy. Robert is not happy. Therefore Karen is not playing a game.
p <-> q. p <-> r. ~r. Therefore ~q.