Translate the following inference to logic notation: If Jessica plays squash, then Karen is not cooking. Karen is cooking. If Jessica sleeps, then Linda is climbing a mountain. Jessica is sleeping. Therefore Linda is climbing a mountain and Jessica is not playing squash.
p -> ~q. q. r -> s. r. Therefore s and ~p.