What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Joseph makes tea, then Michael is a musician. For all y, y will play tennis if and only if y will make tea. If Michael were a musician, then Joseph is playing tennis.
If Joseph makes tea, then Joseph is playing tennis. For all y, if y plays tennis, then y is making tea. For all y, if y makes tea, then y is playing tennis.