Translate the following inference to logic notation: For all x, x_9 is an astronaut or x_9 is a nurse. Mary is not an astronaut or Michael is a poet. Mary is not a nurse or Elisabeth is an artist. Michael is not a poet. Therefore Elisabeth is an artist.
forall x: P(x) or Q(x). ~P(a) or p. ~Q(a) or q. ~p. Therefore q.