Translate the following inference to logic notation: It is cold and Mary is playing a game. It is sunny if and only if it is cloudy. It is not sunny. Therefore it is cold and it is not cloudy.
p and q. r <-> s. ~r. Therefore p and ~s.