Translate the following inference to logic notation: For all x, if x_13 climbs a mountain, then x_13 is drinking water. For all x, if x_13 drinks water, then x_13 is climbing a mountain. Thomas is a bartender or Michael is not climbing a mountain. Therefore if Michael drinks water, then Thomas is a bartender.
forall x: P(x) -> Q(x). forall x: Q(x) -> P(x). p or ~P(a). Therefore Q(a) -> p.