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: Barbara is not an astronaut. Elisabeth is curious if and only if Barbara is an astronaut. Linda is a doctor.
Barbara is not an astronaut and Linda is a doctor can be inferred via the conjunction rule. Linda is a doctor and Barbara is not an astronaut can be inferred via the conjunction rule. If Elisabeth were curious, then Barbara is an astronaut can be inferred via the biconditional elimination rule. If Barbara were an astronaut, then Elisabeth is curious can be inferred via the biconditional elimination rule. Elisabeth is not curious can be inferred via the biconditional elimination rule.