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: It is not raining. Jessica is taking a plane if and only if Elisabeth is a writer. Elisabeth is a writer if and only if it is raining.
If Jessica takes a plane, then Elisabeth is a writer can be inferred via the biconditional elimination rule. If Elisabeth were a writer, then it is raining can be inferred via the biconditional elimination rule. If Elisabeth were a writer, then Jessica is taking a plane can be inferred via the biconditional elimination rule. If it rains, then Elisabeth is a writer can be inferred via the biconditional elimination rule. Elisabeth is not a writer can be inferred via the biconditional elimination rule.