What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Richard is playing squash if and only if Karen is a scientist. For all x_11, x_11 is a musician. Richard is playing squash if and only if Thomas is playing tennis. Thomas is not playing tennis.
If Richard plays squash, then Karen is a scientist. If Richard plays squash, then Thomas is playing tennis. If Karen were a scientist, then Richard is playing squash. If Thomas plays tennis, then Richard is playing squash. Richard is not playing squash.