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: Sarah is not a scientist. Linda is poor if and only if Sarah is a scientist. Richard is cooking if and only if it is overcast. Linda is poor if and only if Richard is cooking.
If Linda were poor, then Sarah is a scientist can be inferred via the biconditional elimination rule. If Richard cooks, then it is overcast can be inferred via the biconditional elimination rule. If Linda were poor, then Richard is cooking can be inferred via the biconditional elimination rule. If Sarah were a scientist, then Linda is poor can be inferred via the biconditional elimination rule. If it is overcast, then Richard is cooking can be inferred via the biconditional elimination rule. If Richard cooks, then Linda is poor can be inferred via the biconditional elimination rule. Linda is not poor can be inferred via the biconditional elimination rule.