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