What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Sarah is driving a car or John is not a poet. If it rains, then James is reading a book. If James reads a book, then it is raining. If Sarah drives a car, then James is reading a book.
If Sarah drives a car, then it is raining. If John were a poet, then Sarah is driving a car. It is raining if and only if James is reading a book. James is reading a book if and only if it is raining.