Translate the following inference to logic notation: David is cooking if and only if Mary is running. If Susan plays squash, then David is cooking. Mary is not running. Therefore Susan is not playing squash.
p <-> q. r -> p. ~q. Therefore ~r.