Translate the following inference to logic notation: If Michael drinks water, then Michael is taking a plane. If it is late, then Elisabeth is cooking. If Elisabeth cooks, then Michael is taking a plane. Michael is not drinking water. For all x, if x_17 takes a plane, then x_17 is drinking water. Therefore it is not late.
P(a) -> Q(a). p -> q. q -> Q(a). ~P(a). forall x: Q(x) -> P(x). Therefore ~p.