has a solution that is either

1 triples
GPTKB property

Random triples
Subject Object
gptkb:P_vs_NP_problem P = NP or P ≠ NP