Translate the following inference to logic notation: Jessica is not rich. If Jessica were rich, then James is a nurse. Jessica is rich or James is not a nurse. Therefore James is not a nurse.
~p. p -> q. p or ~q. Therefore ~q.