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 not bored. Mary is bored if and only if Elisabeth is a sailor. For all y, y will not sleep. Barbara is driving a car if and only if Susan is sleeping.
If Mary were bored, then Elisabeth is a sailor can be inferred via the biconditional elimination rule. If Barbara drives a car, then Susan is sleeping can be inferred via the biconditional elimination rule. If Elisabeth were a sailor, then Mary is bored can be inferred via the biconditional elimination rule. If Susan sleeps, then Barbara is driving a car can be inferred via the biconditional elimination rule. Elisabeth is not a sailor can be inferred via the biconditional elimination rule.