What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If it is cloudy, then Mary is working. Susan is drinking water if and only if it is sunny. Susan is not drinking water. If Michael listens to a song, then Mary is working. Michael is listening to a song or it is cloudy.
Mary is working. If Susan drinks water, then it is sunny. If it is sunny, then Susan is drinking water. It is not sunny.