Translate the following inference to logic notation: Susan is making tea. Mary is not sleeping. If Susan makes tea, then Joseph is a mechanic. If Susan plays a game, then it is cold. Mary is sleeping if and only if it is cold. Therefore Joseph is a mechanic and Susan is not playing a game.
p. ~q. p -> r. s -> t. q <-> t. Therefore r and ~s.