Translate the following inference to logic notation: For all x, if x_12 climbs a mountain, then x_12 is an electrician. Karen is not climbing a mountain. Susan is an office clerk. For all x, if x_12 were an electrician, then x_12 is climbing a mountain. Therefore Karen is not an electrician and Susan is an office clerk.
forall x: P(x) -> Q(x). ~P(a). p. forall x: Q(x) -> P(x). Therefore ~Q(a) and p.