Translate the following inference to logic notation: Richard is not climbing a mountain or Elisabeth is listening to a song. Robert is not a bartender. Richard is climbing a mountain or Robert is a bartender. It is cold if and only if Elisabeth is listening to a song. Therefore it is cold.
~p or q. ~r. p or r. s <-> q. Therefore s.