What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Karen were poor, then it is late. Jessica is an artist. Karen is poor or John is running. If John goes running, then it is late.
It is late.