What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Charles is an electrician if and only if it is snowing. For all x_13, x_13 is an electrician or x_13 will drink water. Charles is drinking water if and only if it is snowing.
If Charles were an electrician, then it is snowing. If Charles drinks water, then it is snowing. If it snows, then Charles is an electrician. If it snows, then Charles is drinking water.