Translate the following inference to logic notation: If it is not cloudy, then James is playing a game. It is cloudy if and only if it is sunny. It is not sunny. Therefore James is playing a game.
~p -> q. p <-> r. ~r. Therefore q.