What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Richard is drinking water if and only if James is sleeping.
If Richard drinks water, then James is sleeping. If James sleeps, then Richard is drinking water.