counterexample

2 triples
GPTKB property

Random triples
Subject Object
gptkb:The_smooth_4-dimensional_Hauptvermutung Michael Freedman and Simon Donaldson's work
gptkb:Euler's_conjecture 27^5 + 84^5 + 110^5 + 133^5 = 144^5