A 5 is not solvable

2 triples
GPTKB property

Random triples