What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Jennifer is drinking water if and only if Mary is playing tennis. If Jessica listens to a song, then Jennifer is drinking water. Mary is playing tennis or Jessica is listening to a song. If Jennifer drinks water, then Barbara is sleeping.
If Jessica listens to a song, then Barbara is sleeping. If Jennifer drinks water, then Mary is playing tennis. If Mary plays tennis, then Jennifer is drinking water.