Translate the following inference to logic notation: If Karen goes running, then it is overcast. If Michael cooks, then it is raining. If John plays squash, then Karen is running. If it is overcast, then Michael is cooking. If it rains, then John is playing squash. Therefore if it rains, then it is overcast.
p -> q. r -> s. t -> p. q -> r. s -> t. Therefore s -> q.