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