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