Translate the following inference to logic notation: For all x, if x_5 were a server, then x_5 is excited. For all x, x_5 is a server or x_5 is a sailor. For all x, x_5 is not excited. Therefore Jennifer is a sailor.
forall x: P(x) -> Q(x). forall x: P(x) or R(x). forall x: ~Q(x). Therefore R(a).