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