What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? For all x_14, x_14 will not drink water. If Joseph were not an office clerk, then it is raining. Joseph is an office clerk if and only if Joseph is drinking water.
If Joseph were an office clerk, then Joseph is drinking water. If Joseph drinks water, then Joseph is an office clerk.