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