What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If it is overcast, then Elisabeth is drinking water. If Elisabeth drinks water, then it is overcast. It is not overcast. For all x_12, if x_12 writes a letter, then x_12 is drinking water.
Elisabeth is not drinking water.