Translate the following inference to logic notation: For all x, x_18 will make tea. For all x, if x_18 takes a plane, then x_18 is making tea. For all x, if x_18 makes tea, then x_18 is taking a plane. Therefore Barbara is taking a plane or Michael is running.
forall x: P(x). forall x: Q(x) -> P(x). forall x: P(x) -> Q(x). Therefore Q(a) or p.