Let's put into the black box whole set $S=\{x_i\}_{i=1}^n$. If $bb(S)$ is True, then such a subset exists and we can go on:
1. If $bb(R/\{x_i\})$ is True then $R:=R/\{x_i\}$