What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Robert were an astronaut, then it is windy. If it is windy, then Karen is an electrician. Robert is an astronaut or David is not reading a book.
If Robert were an astronaut, then Karen is an electrician. If David reads a book, then Robert is an astronaut.