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: Jennifer is an astronaut if and only if Jennifer is running. If Linda were a taxi driver, then it is sunny. If it is sunny, then Jennifer is an astronaut. Jennifer is running or Linda is a taxi driver.
If Linda were a taxi driver, then Jennifer is an astronaut can be inferred via the transitivity rule. If Jennifer were an astronaut, then Jennifer is running can be inferred via the biconditional elimination rule. If Jennifer goes running, then Jennifer is an astronaut can be inferred via the biconditional elimination rule.