NP-hardness

8 triples
GPTKB property