Translate the following inference to logic notation: If William writes a letter, then Richard is working. Richard is not working. If Jennifer plays a game, then William is writing a letter. Jennifer is playing a game if and only if John is playing squash. Therefore John is not playing squash.
p -> q. ~q. r -> p. r <-> s. Therefore ~s.