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