Searches for a counterexample disproving the subjected hypothesis. A counterexample is query which, when
performed on the SUL, yields a different output than what was predicted by the hypothesis. If no counterexample
could be found (this does not necessarily mean that none exists), null is returned.
inputs - the set of inputs to consider, this should be a subset of the input alphabet of the provided hypothesis
a query exposing different behavior, or null if no counterexample could be found. In case a
non-null value is returned, the output field in the DefaultQuery contains the SUL output for the