What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If John drinks water, then Patricia is not an electrician. If it is sunny, then John is drinking water. For all z, z is an electrician.
If it is sunny, then Patricia is not an electrician.