Translate the following inference to logic notation: Susan is not playing tennis. Susan is playing tennis or Michael is curious. If it is not windy, then it is snowing. John is not listening to a song. It is windy if and only if John is listening to a song. Therefore it is snowing and Michael is curious.
~p. p or q. ~r -> s. ~t. r <-> t. Therefore s and q.