What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? For all z, z is an electrician if and only if z is curious. William is drinking water or Richard is not an electrician. William is not drinking water.
Richard is not an electrician. If Richard were an electrician, then William is drinking water. For all z, if z were an electrician, then z is curious. For all z, if z were curious, then z is an electrician.