What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Elisabeth were an astronaut, then it is late. If it is late, then Sarah is playing squash. For all x_14, x_14 will play tennis if and only if x_14 will play squash.
If Elisabeth were an astronaut, then Sarah is playing squash. For all x_14, if x_14 plays tennis, then x_14 is playing squash. For all x_14, if x_14 plays squash, then x_14 is playing tennis.