Translate the following inference to logic notation: It is cold if and only if Mary is reading a book. Susan is writing a letter if and only if Mary is reading a book. It is not snowing. If it is cold, then it is snowing. Therefore Susan is not writing a letter.
p <-> q. r <-> q. ~s. p -> s. Therefore ~r.