What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Karen is listening to a song if and only if Robert is sleeping. If Robert sleeps, then William is drinking water. Karen is listening to a song or William is not drinking water.
If William drinks water, then Karen is listening to a song. If Karen listens to a song, then Robert is sleeping. If Robert sleeps, then Karen is listening to a song.