Translate the following inference to logic notation: Mary is not drinking water. It is cold and Mary is writing a letter. Mary is drinking water if and only if Jennifer is listening to a song. Therefore it is cold and Jennifer is not listening to a song.
~p. q and r. p <-> s. Therefore q and ~s.