Translate the following inference to logic notation: If Charles were curious, then Jennifer is playing squash. Charles is curious. If Karen plays tennis, then it is overcast. If Jennifer plays squash, then Karen is playing tennis. Therefore it is overcast.
p -> q. p. r -> s. q -> r. Therefore s.