What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Thomas plays squash, then Barbara is cooking. Jennifer is bored if and only if Thomas is playing squash. If Barbara cooks, then Jennifer is bored.
If Thomas plays squash, then Jennifer is bored. If Jennifer were bored, then Thomas is playing squash. If Thomas plays squash, then Jennifer is bored.