What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Mary were an electrician, then Elisabeth is cooking. Charles is not bored. If Elisabeth cooks, then Mary is an electrician. If Mary were an electrician, then Charles is bored.
Mary is not an electrician. If Elisabeth cooks, then Charles is bored. Mary is an electrician if and only if Elisabeth is cooking. Elisabeth is cooking if and only if Mary is an electrician.