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