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