What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Thomas works, then David is playing tennis. Barbara is sad or David is not playing tennis. Joseph is running. For all x_24, x_24 is not sad.
If David plays tennis, then Barbara is sad.