Translate the following inference to logic notation: Susan is bored. It is snowing if and only if John is listening to a song. If Susan were bored, then it is snowing. Therefore John is listening to a song.
p. q <-> r. p -> q. Therefore r.