Translate the following inference to logic notation: Susan is not bored. Michael is not playing a game or it is cold. Michael is playing a game or it is late. Susan is bored if and only if it is late. Therefore it is cold.
~p. ~q or r. q or s. p <-> s. Therefore r.