What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Jessica drinks water, then it is overcast. If it is overcast, then Jessica is drinking water. Jessica is drinking water or Sarah is curious. It is not overcast.
Jessica is not drinking water. Jessica is drinking water if and only if it is overcast. It is overcast if and only if Jessica is drinking water.