What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? For all x_8, x_8 will go running or x_8 will sleep. Robert is sleeping if and only if Richard is drinking water. If Robert goes running, then Richard is drinking water.
If Robert sleeps, then Richard is drinking water. If Richard drinks water, then Robert is sleeping.