Translate the following inference to logic notation: It is not windy. It is not raining. It is windy if and only if it is snowing. It is raining if and only if Mary is listening to a song. Therefore Mary is not listening to a song and it is not snowing.
~p. ~q. p <-> r. q <-> s. Therefore ~s and ~r.