Translate the following inference to logic notation: It is late if and only if it is cold. If it is late, then it is sunny. If it is sunny, then it is cold. Therefore if it is late, then it is cold.
p <-> q. p -> r. r -> q. Therefore p -> q.