Kempe's proof

1 triples
GPTKB property

Random triples
Subject Object
gptkb:The_Four-Color_Problem disproved by Percy Heawood in 1890