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