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