What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? For all x_8, x_8 is a mechanic or x_8 is a carpenter. John is a mechanic if and only if Elisabeth is bored. If John were a carpenter, then Elisabeth is bored.
If John were a mechanic, then Elisabeth is bored. If Elisabeth were bored, then John is a mechanic.