What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Elisabeth is drinking water if and only if Robert is playing tennis. For all x_17, if x_17 were fast, then x_17 is drinking water. If Robert plays tennis, then Elisabeth is fast.
If Elisabeth drinks water, then Robert is playing tennis. If Robert plays tennis, then Elisabeth is drinking water.