Translate the following inference to logic notation: Richard is not a bartender. Robert is not a police officer if and only if it is cold. Richard is a bartender if and only if Robert is a police officer. Therefore it is cold.
~p. ~q <-> r. p <-> q. Therefore r.