Translate the following inference to logic notation: Charles is not writing a letter. It is sunny or it is overcast. If it is sunny, then Charles is writing a letter. If Charles writes a letter, then it is sunny. Therefore it is raining or it is overcast.
~p. q or r. q -> p. p -> q. Therefore s or r.