What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Elisabeth is an electrician or Elisabeth is not making tea. If Joseph plays squash, then Elisabeth is an electrician. For all y, if y were an electrician, then y is making tea.
If Elisabeth makes tea, then Elisabeth is an electrician.