Translate the following inference to logic notation: For all x, if x_10 climbs a mountain, then x_10 is drinking water. If Linda writes a letter, then Elisabeth is climbing a mountain. If Joseph were a taxi driver, then Linda is writing a letter. Therefore if Joseph were a taxi driver, then Elisabeth is drinking water.
forall x: P(x) -> Q(x). p -> P(a). q -> p. Therefore q -> Q(a).