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_7, x_7 will go running. For all x_7, if x_7 were poor, then x_7 is not running. It is overcast if and only if Robert is poor.
If it is overcast, then Robert is poor can be inferred via the biconditional elimination rule. If Robert were poor, then it is overcast can be inferred via the biconditional elimination rule. For all x_7, x_7 is not poor can be inferred via the universal modus tollens rule.