What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If it is late, then James is sleeping. If Karen were fast, then it is late. If James sleeps, then Karen is fast. Karen is not fast.
James is not sleeping. If it is late, then Karen is fast. If Karen were fast, then James is sleeping. If James sleeps, then it is late.