What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Mary plays tennis, then David is an office clerk. David is not an office clerk. Mary is playing tennis if and only if it is windy.
Mary is not playing tennis. If Mary plays tennis, then it is windy. If it is windy, then Mary is playing tennis.