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