What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is late and Charles is listening to a song. Elisabeth is not working. Elisabeth is working or William is not drinking water.
William is not drinking water. It is late. Charles is listening to a song. If William drinks water, then Elisabeth is working.