Translate the following inference to logic notation: John is playing squash if and only if it is snowing. Susan is a sailor or it is not snowing. John is not playing squash. If Susan were a sailor, then it is snowing. Therefore Susan is not a sailor.
p <-> q. r or ~q. ~p. r -> q. Therefore ~r.