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