Translate the following inference to logic notation: If Karen plays a game, then Charles is drinking water. For all x, if x_15 takes a plane, then x_15 is playing squash. If Charles drinks water, then Patricia is taking a plane. If Patricia plays squash, then Richard is running. If William were a lawyer, then Karen is playing a game. Therefore if William were a lawyer, then Richard is running.
p -> q. forall x: P(x) -> Q(x). q -> P(a). Q(a) -> r. s -> p. Therefore s -> r.