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