Translate the following inference to logic notation: It is overcast if and only if Mary is happy. It is overcast if and only if it is snowing. Susan is not playing tennis. Susan is playing tennis if and only if it is snowing. Therefore Mary is not happy.
p <-> q. p <-> r. ~s. s <-> r. Therefore ~q.