Translate the following inference to logic notation: It is late. If Karen were bored, then it is sunny. If Mary were rich, then it is sunny. It is not late or Mary is rich. Therefore it is sunny.
p. q -> r. s -> r. ~p or s. Therefore r.