What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Elisabeth makes tea, then it is windy. If it is windy, then Sarah is not a bartender. If it snows, then Elisabeth is making tea. Sarah is a bartender.
It is not windy. If Elisabeth makes tea, then Sarah is not a bartender.