Translate the following inference to logic notation: If it is sunny, then it is snowing. It is snowing if and only if Linda is listening to a song. It is not sunny. If it snows, then it is sunny. Therefore Linda is not listening to a song.
p -> q. q <-> r. ~p. q -> p. Therefore ~r.