Translate the following inference to logic notation: If it rains, then it is cold. If it is windy, then it is cold. If it is cloudy, then it is raining. If it is cold, then it is windy. Therefore if it is cloudy, then it is windy.
p -> q. r -> q. s -> p. q -> r. Therefore s -> r.