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