What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Name the inference rule being used: Susan is curious or James is a bartender. If Robert cooks, then Susan is not reading a book. Susan is reading a book if and only if Susan is curious. If James were a bartender, then Susan is reading a book.
If Susan reads a book, then Susan is curious can be inferred via the biconditional elimination rule. If Susan were curious, then Susan is reading a book can be inferred via the biconditional elimination rule.