Translate the following inference to logic notation: If Elisabeth were a lawyer, then Richard is playing a game. Richard is not playing a game. Elisabeth is a lawyer or Richard is not playing a game. If it is cold, then Elisabeth is a lawyer. Therefore it is not cold.
p -> q. ~q. p or ~q. r -> p. Therefore ~r.