What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Robert is playing squash. Barbara is sleeping or it is raining. If Barbara sleeps, then it is windy. It is windy or it is not raining.
If it rains, then it is windy.