elimination order

7 triples
GPTKB property