What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Sarah were a sailor, then Patricia is playing squash. If Patricia plays squash, then Michael is an astronaut. Michael is an astronaut if and only if Sarah is a sailor.
If Sarah were a sailor, then Michael is an astronaut. If Michael were an astronaut, then Sarah is a sailor. If Sarah were a sailor, then Michael is an astronaut.