Translate the following inference to logic notation: It is not overcast. If Karen plays squash, then it is overcast. If it is overcast, then Karen is playing squash. Joseph is rich or Karen is playing squash. Therefore Joseph is rich.
~p. q -> p. p -> q. r or q. Therefore r.