What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Michael is sleeping if and only if Sarah is making tea. If David were happy, then it is late. If it is late, then Michael is sleeping.
If David were happy, then Michael is sleeping. If Michael sleeps, then Sarah is making tea. If Sarah makes tea, then Michael is sleeping.