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: Susan is a politician if and only if Karen is bored. If Karen were bored, then Jennifer is an electrician. If Jennifer were an electrician, then Karen is bored.
Karen is bored if and only if Jennifer is an electrician can be inferred via the biconditional introduction rule. Jennifer is an electrician if and only if Karen is bored can be inferred via the biconditional introduction rule. If Susan were a politician, then Karen is bored can be inferred via the biconditional elimination rule. If Karen were bored, then Susan is a politician can be inferred via the biconditional elimination rule.