Translate the following inference to logic notation: Robert is writing a letter if and only if Joseph is playing a game. It is overcast if and only if Joseph is not playing a game. Robert is not writing a letter. Therefore it is overcast.
p <-> q. r <-> ~q. ~p. Therefore r.