What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? William is a lawyer if and only if Jessica is an electrician. If Jessica plays squash, then William is a lawyer. Jessica is not playing squash. If William were a lawyer, then Jessica is playing squash.
William is not a lawyer. Jessica is playing squash if and only if William is a lawyer. William is a lawyer if and only if Jessica is playing squash. If William were a lawyer, then Jessica is an electrician. If Jessica were an electrician, then William is a lawyer.