Translate the following inference to logic notation: For all x, if x_8 were a server, then x_8 is a nurse. For all x, if x_8 were a nurse, then x_8 is a server. If Michael were a server, then Mary is making tea. Therefore if Michael were a nurse, then Mary is making tea.
forall x: P(x) -> Q(x). forall x: Q(x) -> P(x). P(a) -> p. Therefore Q(a) -> p.