Translate the following inference to logic notation: If Michael writes a letter, then Karen is playing squash. If Karen plays squash, then Susan is not a mechanic. Susan is a mechanic. Michael is writing a letter or it is sunny. Therefore it is sunny.
p -> q. q -> ~r. r. p or s. Therefore s.