Translate the following inference to logic notation: If Michael plays squash, then it is late. For all x, if x_8 takes a plane, then x_8 is playing squash. For all x, if x_8 plays squash, then x_8 is taking a plane. Therefore if Michael takes a plane, then it is late.
P(a) -> p. forall x: Q(x) -> P(x). forall x: P(x) -> Q(x). Therefore Q(a) -> p.