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: For all x_10, if x_10 were a lawyer, then x_10 is running. John is driving a car if and only if Sarah is running. John is driving a car or Sarah is a lawyer.
If Sarah were a scientist, then John is driving a car can be inferred via the rewriting rule. If John drives a car, then Sarah is running can be inferred via the biconditional elimination rule. If Sarah goes running, then John is driving a car can be inferred via the biconditional elimination rule.