Translate the following inference to logic notation: For all x, if x_14 were a soldier, then x_14 is working. If Linda plays squash, then Thomas is working. Linda is playing squash or Thomas is a soldier. Therefore Thomas is working or Jessica is taking a plane.
forall x: P(x) -> Q(x). p -> Q(a). p or P(a). Therefore Q(a) or q.