Translate the following inference to logic notation: For all x, if z drinks water, then z is climbing a mountain. If John goes running, then Thomas is climbing a mountain. If Thomas were a politician, then Thomas is not climbing a mountain. Thomas is drinking water or John is running. Therefore Thomas is not a politician.
forall x: P(x) -> Q(x). p -> Q(a). q -> ~Q(a). P(a) or p. Therefore ~q.