Translate the following inference to logic notation: David is not sleeping. If it is cold, then Joseph is playing tennis. Joseph is not playing tennis. It is snowing if and only if David is sleeping. Therefore it is not cold and it is not snowing.
~p. q -> r. ~r. s <-> p. Therefore ~q and ~s.