Translate the following inference to logic notation: Karen is happy if and only if Joseph is a lawyer. If Karen were happy, then Charles is climbing a mountain. If Charles climbs a mountain, then Joseph is playing squash. Joseph is not playing squash. Therefore Joseph is not a lawyer.
p <-> q. p -> r. r -> s. ~s. Therefore ~q.