Translate the following inference to logic notation: For all x, x_16 is not a nurse. If Jessica were a nurse, then Thomas is a server. If Thomas were a server, then Jessica is a nurse. Therefore Thomas is not a server or Joseph is reading a book.
forall x: ~P(x). P(a) -> p. p -> P(a). Therefore ~p or q.