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