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