Translate the following inference to logic notation: For all x, x_15 will work and x_15 is a politician. For all x, x_15 will go running. Thomas is taking a plane. Therefore Thomas is taking a plane and Elisabeth is working.
forall x: P(x) and Q(x). forall x: R(x). p. Therefore p and P(a).