I am trying to find how many counterexamples has the decision. With the command
SatisfabilyInstances I get 28. But that's not true.

Mathematica, finding counterexamples-example.jpg