Translate the following inference to logic notation: For all x, x_16 is a poet. For all x, if x_16 were an office clerk, then x_16 is an astronaut. For all x, if x_16 sleeps, then x_16 is an astronaut. For all x, x_16 will sleep or x_16 is an office clerk. If Mary were a poet, then Jessica is a nurse. Therefore Jessica is a nurse.
forall x: P(x). forall x: Q(x) -> R(x). forall x: S(x) -> R(x). forall x: S(x) or Q(x). P(a) -> p. Therefore p.