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: James is an astronaut if and only if Mary is rich. If Patricia were a taxi driver, then James is an astronaut. Patricia is a taxi driver or Mary is rich.
If James were an astronaut, then Mary is rich can be inferred via the biconditional elimination rule. If Mary were rich, then James is an astronaut can be inferred via the biconditional elimination rule.