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