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: Mary is bored if and only if Karen is a taxi driver. Karen is not a taxi driver. If Michael were rich, then Karen is a politician. Mary is bored if and only if Karen is a politician.
If Mary were bored, then Karen is a taxi driver can be inferred via the biconditional elimination rule. If Mary were bored, then Karen is a politician can be inferred via the biconditional elimination rule. If Karen were a taxi driver, then Mary is bored can be inferred via the biconditional elimination rule. If Karen were a politician, then Mary is bored can be inferred via the biconditional elimination rule. Mary is not bored can be inferred via the biconditional elimination rule.