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 a doctor or Linda is rich. Susan is curious if and only if Linda is rich. Barbara is a doctor if and only if Susan is curious.
If Susan were curious, then Linda is rich can be inferred via the biconditional elimination rule. If Barbara were a doctor, then Susan is curious can be inferred via the biconditional elimination rule. If Linda were rich, then Susan is curious can be inferred via the biconditional elimination rule. If Susan were curious, then Barbara is a doctor can be inferred via the biconditional elimination rule.