Translate the following inference to logic notation: It is sunny if and only if Joseph is a writer. If Susan plays a game, then it is sunny. If Joseph were a writer, then Susan is playing a game. Therefore if Joseph were a writer, then Susan is playing a game.
p <-> q. r -> p. q -> r. Therefore q -> r.