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 William is not rich. It is overcast if and only if Patricia is an artist. Patricia is an artist if and only if it is snowing. William is rich.
It is not snowing. If it is overcast, then Patricia is an artist. If Patricia were an artist, then it is snowing. If Patricia were an artist, then it is overcast. If it snows, then Patricia is an artist.