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