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 a writer if and only if Karen is making tea. Charles is not curious. If Jessica were a writer, then Charles is curious. Patricia is an artist if and only if Karen is making tea.
Jessica is not a writer can be inferred via the modus tollens rule. If Jessica were a writer, then Karen is making tea can be inferred via the biconditional elimination rule. If Patricia were an artist, then Karen is making tea can be inferred via the biconditional elimination rule. If Karen makes tea, then Jessica is a writer can be inferred via the biconditional elimination rule. If Karen makes tea, then Patricia is an artist can be inferred via the biconditional elimination rule.