Translate the following inference to logic notation: Jessica is a nurse or Jennifer is a taxi driver. For all x, if x_14 plays tennis, then x_14 is taking a plane. If Jennifer were a taxi driver, then Robert is playing tennis. If Jessica were a nurse, then Robert is playing tennis. Therefore Robert is taking a plane.
p or q. forall x: P(x) -> Q(x). q -> P(a). p -> P(a). Therefore Q(a).