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