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_14, x_14 is rich if and only if x_14 is fast. If Jessica were fast, then Karen is not cooking. If William goes running, then Jessica is rich. Karen is cooking. If Jessica were rich, then William is running.
Jessica is not fast can be inferred via the modus tollens rule. For all x_14, if x_14 were rich, then x_14 is fast can be inferred via the universal biconditional elimination rule. For all x_14, if x_14 were fast, then x_14 is rich can be inferred via the universal biconditional elimination rule.