What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If John were an electrician, then it is late. Linda is reading a book. Linda is reading a book if and only if John is an electrician.
If Linda reads a book, then John is an electrician. If John were an electrician, then Linda is reading a book.