What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Charles is a server or Richard is not reading a book. Richard is reading a book or Barbara is not playing squash.
If Richard reads a book, then Charles is a server. If Barbara plays squash, then Richard is reading a book.