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: Patricia is running if and only if Jennifer is sleeping. For all x, x will not drive a car. Jennifer is sleeping if and only if Joseph is driving a car.
If Patricia goes running, then Jennifer is sleeping can be inferred via the biconditional elimination rule. If Jennifer sleeps, then Joseph is driving a car can be inferred via the biconditional elimination rule. If Jennifer sleeps, then Patricia is running can be inferred via the biconditional elimination rule. If Joseph drives a car, then Jennifer is sleeping can be inferred via the biconditional elimination rule.