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: Charles is bored or Barbara is not driving a car. If Jennifer were an artist, then Barbara is driving a car. Charles is not bored. Charles is bored if and only if Jennifer is an artist.
Barbara is not driving a car can be inferred via the disjunctive syllogism rule. If Barbara drives a car, then Charles is bored can be inferred via the rewriting rule. If Charles were bored, then Jennifer is an artist can be inferred via the biconditional elimination rule. If Jennifer were an artist, then Charles is bored can be inferred via the biconditional elimination rule. Jennifer is not an artist can be inferred via the biconditional elimination rule.