Translate the following inference to logic notation: James is not happy. If Charles were rich, then Jennifer is working. James is happy if and only if Jennifer is working. If Robert reads a book, then Charles is rich. Therefore Robert is not reading a book.
~p. q -> r. p <-> r. s -> q. Therefore ~s.