Translate the following inference to logic notation: Elisabeth is listening to a song if and only if it is cold. It is snowing. If Elisabeth listens to a song, then it is not snowing. It is overcast. It is cold or it is cloudy. Therefore it is cloudy and it is overcast.
p <-> q. r. p -> ~r. s. q or t. Therefore t and s.