Translate the following inference to logic notation: Linda is playing squash if and only if Michael is running. Linda is not playing squash. Sarah is working if and only if Susan is writing a letter. Sarah is not working. Therefore Michael is not running.
p <-> q. ~p. r <-> s. ~r. Therefore ~q.