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