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