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: If it is cloudy, then John is rich. Jennifer is playing tennis if and only if John is rich. Jennifer is playing tennis or it is cloudy. For all x_18, x_18 will play a game.
If Jennifer plays tennis, then John is rich can be inferred via the biconditional elimination rule. If John were rich, then Jennifer is playing tennis can be inferred via the biconditional elimination rule.