Translate the following inference to logic notation: For all x, if x_8 were a sailor, then x_8 is an office clerk. If William climbs a mountain, then Karen is an office clerk. For all x, if x_8 were an office clerk, then x_8 is a sailor. Therefore if William climbs a mountain, then Karen is a sailor.
forall x: P(x) -> Q(x). p -> Q(a). forall x: Q(x) -> P(x). Therefore p -> P(a).