What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Jessica plays squash, then it is sunny. Jessica is playing squash. It is sunny if and only if Robert is reading a book.
It is sunny. If it is sunny, then Robert is reading a book. If Robert reads a book, then it is sunny.