Translate the following inference to logic notation: William is playing squash if and only if Mary is a musician. William is listening to a song or Mary is a sailor. If William listens to a song, then William is playing squash. If Mary were a sailor, then Mary is a musician. Therefore William is playing squash.
p <-> q. r or s. r -> p. s -> q. Therefore p.