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: Elisabeth is rich if and only if Michael is excited. Elisabeth is rich if and only if Jennifer is a mechanic.
If Elisabeth were rich, then Michael is excited can be inferred via the biconditional elimination rule. If Elisabeth were rich, then Jennifer is a mechanic can be inferred via the biconditional elimination rule. If Michael were excited, then Elisabeth is rich can be inferred via the biconditional elimination rule. If Jennifer were a mechanic, then Elisabeth is rich can be inferred via the biconditional elimination rule.