Translate the following inference to logic notation: For all x, x_3 will not take a plane. If Michael were a soldier, then Joseph is taking a plane. If Joseph takes a plane, then Michael is a soldier. Therefore Michael is not a soldier.
forall x: ~P(x). p -> P(a). P(a) -> p. Therefore ~p.