Translate the following inference to logic notation: For all x, if x were a mechanic, then x is a taxi driver. If it rains, then Susan is a taxi driver. John is drinking water. It is raining or Susan is a mechanic. Therefore John is drinking water and Susan is a taxi driver.
forall x: P(x) -> Q(x). p -> Q(a). q. p or P(a). Therefore q and Q(a).