What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If William were excited, then Karen is not sleeping. Karen is sleeping. For all y, y will make tea if and only if y is excited.
William is not excited. For all y, if y makes tea, then y is excited. For all y, if y were excited, then y is making tea.