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