What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? David is sleeping or David is working. Jessica is not reading a book. If it snows, then Jessica is reading a book. If David sleeps, then it is snowing.
It is not snowing. If David sleeps, then Jessica is reading a book.