You got the problem completely wrong. The idea isn't to come up with tuples that satisfy the predicate. The idea is to figure out what the predicate is in the

You got the problem completely wrong. The idea isn't to come up with tuples that satisfy the predicate. The idea is to figure out what the predicate is in the first place. Also, you're not in any way, shape, or form reduced to random guessing. If you have an idea of what the rule might be, you build a counterexample. There's a ton of value in _trying_ to get a no but getting a yes instead.