Translate the following inference to logic notation: If Thomas takes a plane, then Michael is climbing a mountain. If Michael climbs a mountain, then it is raining. For all x, x_10 will not drink water or x_10 is a mechanic. For all x, x_10 will drink water or x_10 will take a plane. If Thomas were a mechanic, then it is raining. Therefore it is raining.
P(a) -> p. p -> q. forall x: ~Q(x) or R(x). forall x: Q(x) or P(x). R(a) -> q. Therefore q.