What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? For all x_13, x_13 will drink water or x_13 is a janitor. Karen is a janitor if and only if James is running. Karen is drinking water if and only if James is running.
If Karen were a janitor, then James is running. If Karen drinks water, then James is running. If James goes running, then Karen is a janitor. If James goes running, then Karen is drinking water.