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