What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Jessica is reading a book if and only if Jennifer is a nurse. If John cooks, then Jessica is reading a book. Jennifer is not a nurse. It is cold.
Jennifer is not a nurse and it is cold. It is cold and Jennifer is not a nurse. If Jessica reads a book, then Jennifer is a nurse. If Jennifer were a nurse, then Jessica is reading a book. Jessica is not reading a book.