Translate the following inference to logic notation: Michael is playing squash or Thomas is making tea. If Thomas makes tea, then Jennifer is taking a plane. For all x, if x_14 takes a plane, then x_14 is cooking. If Michael plays squash, then Jennifer is taking a plane. Therefore Jennifer is cooking.
p or q. q -> P(a). forall x: P(x) -> Q(x). p -> P(a). Therefore Q(a).