Translate the following inference to logic notation: Richard is listening to a song. Susan is not playing squash. Richard is listening to a song if and only if Susan is playing squash. Therefore Sarah is writing a letter.
p. ~q. p <-> q. Therefore r.