What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Mary is playing tennis or it is not snowing. If Patricia plays a game, then it is windy. It is snowing or Patricia is playing a game. If Mary plays tennis, then it is windy.
If it snows, then Mary is playing tennis.