Translate the following inference to logic notation: For all x, if z were a mechanic, then z is climbing a mountain. If Joseph were a janitor, then Karen is climbing a mountain. Jessica is drinking water or Karen is a mechanic. If Jessica drinks water, then Joseph is a janitor. Therefore Karen is climbing a mountain.
forall x: P(x) -> Q(x). p -> Q(a). q or P(a). q -> p. Therefore Q(a).