What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Thomas is an office clerk or Sarah is playing tennis. Thomas is bored if and only if Sarah is playing tennis. Thomas is bored or Barbara is not working. Thomas is not an office clerk or Barbara is working.
Sarah is playing tennis or Barbara is working. If Barbara works, then Thomas is bored. If Thomas were bored, then Sarah is playing tennis. If Sarah plays tennis, then Thomas is bored.