What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is late and Joseph is a sailor. For all x_23, x_23 will not read a book. If Jessica plays tennis, then James is reading a book.
It is late. Joseph is a sailor.