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: If James makes tea, then Jessica is curious. James is making tea or Jessica is not curious. Linda is not a janitor. Linda is a janitor if and only if Jessica is curious.
If Jessica were curious, then James is making tea can be inferred via the rewriting rule. If Linda were a janitor, then Jessica is curious can be inferred via the biconditional elimination rule. If Jessica were curious, then Linda is a janitor can be inferred via the biconditional elimination rule. Jessica is not curious can be inferred via the biconditional elimination rule.