Translate the following inference to logic notation: James is not rich. James is rich if and only if Charles is reading a book. It is late if and only if Susan is a doctor. If Susan were a doctor, then Charles is reading a book. Therefore it is not late.
~p. p <-> q. r <-> s. s -> q. Therefore ~r.