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