first proven NP-complete by

5 triples
GPTKB property