What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Sarah is poor if and only if it is snowing. It is not windy. It is windy if and only if it is snowing. Sarah is poor if and only if it is late.
If Sarah were poor, then it is snowing. If it is windy, then it is snowing. If Sarah were poor, then it is late. If it snows, then Sarah is poor. If it snows, then it is windy. If it is late, then Sarah is poor. It is not snowing.