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