What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? For all x_1, x_1 is not an electrician. For all x_1, x_1 will make tea if and only if x_1 is an electrician. Michael is making tea if and only if Thomas is drinking water.
If Michael makes tea, then Thomas is drinking water. If Thomas drinks water, then Michael is making tea. For all x_1, if x_1 makes tea, then x_1 is an electrician. For all x_1, if x_1 were an electrician, then x_1 is making tea. For all x_1, x_1 will not make tea.