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