Translate the following inference to logic notation: For all x, if x_14 works, then x_14 is taking a plane. William is a taxi driver or Elisabeth is sleeping. If William were a taxi driver, then Jennifer is working. If Elisabeth sleeps, then Jennifer is working. Therefore Jennifer is taking a plane.
forall x: P(x) -> Q(x). p or q. p -> P(a). q -> P(a). Therefore Q(a).