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