What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Sarah sleeps, then it is windy. Jennifer is not making tea. If it is windy, then Jennifer is making tea. If David were a taxi driver, then Sarah is sleeping.
It is not windy. If Sarah sleeps, then Jennifer is making tea. If David were a taxi driver, then it is windy.