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: It is late. Thomas is running if and only if Barbara is excited. For all x_16, x_16 is not excited.
If Thomas goes running, then Barbara is excited can be inferred via the biconditional elimination rule. If Barbara were excited, then Thomas is running can be inferred via the biconditional elimination rule.