What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? For all x_14, x_14 will not play tennis. It is late if and only if Karen is playing tennis.
If it is late, then Karen is playing tennis. If Karen plays tennis, then it is late.