What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If it snows, then Michael is a sailor. If Michael were a sailor, then it is overcast. If Susan cooks, then it is snowing. If it is overcast, then Susan is cooking.
If it snows, then it is overcast. If Michael were a sailor, then Susan is cooking. If Susan cooks, then Michael is a sailor. If it is overcast, then it is snowing.