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: Patricia is making tea if and only if James is a scientist. For all z, z will not work or z will make tea. If Patricia reads a book, then James is a scientist. For all z, z will work or z will read a book.
If Patricia makes tea, then James is a scientist can be inferred via the biconditional elimination rule. If James were a scientist, then Patricia is making tea can be inferred via the biconditional elimination rule. For all z, z will read a book or z will make tea can be inferred via the universal resolution rule.