Translate the following inference to logic notation: It is cold if and only if John is making tea. If it is cold, then John is making tea. Susan is a lawyer. John is not making tea. Therefore Susan is a lawyer and it is not cold.
p <-> q. p -> q. r. ~q. Therefore r and ~p.