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: Jessica is not cooking. Jessica is cooking if and only if Patricia is reading a book. John is a poet or Patricia is reading a book.
If Patricia doesn't read a book, then John is a poet can be inferred via the rewriting rule. If Jessica cooks, then Patricia is reading a book can be inferred via the biconditional elimination rule. If Patricia reads a book, then Jessica is cooking can be inferred via the biconditional elimination rule. Patricia is not reading a book can be inferred via the biconditional elimination rule.