Translate the following inference to logic notation: For all x, if x_14 were a taxi driver, then x_14 is a carpenter. Michael is not a carpenter. Therefore Michael is not a taxi driver or it is snowing.
forall x: P(x) -> Q(x). ~Q(a). Therefore ~P(a) or p.