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