What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Sarah is not an astronaut. If Jessica were a bartender, then Sarah is an astronaut. Sarah is playing squash. It is sunny if and only if Jessica is a bartender.
Jessica is not a bartender. Sarah is not an astronaut and Sarah is playing squash. Sarah is playing squash and Sarah is not an astronaut. If it is sunny, then Jessica is a bartender. If Jessica were a bartender, then it is sunny.