Translate the following inference to logic notation: It is snowing. Michael is happy if and only if John is playing squash. If John plays squash, then it is not snowing. Therefore Michael is not happy.
p. q <-> r. r -> ~p. Therefore ~q.