Translate the following inference to logic notation: Elisabeth is climbing a mountain if and only if it is late. Jessica is not happy. It is not late. If it is cold, then Jessica is happy. Therefore it is not cold and Elisabeth is not climbing a mountain.
p <-> q. ~r. ~q. s -> r. Therefore ~s and ~p.