is not abelian

10 triples
GPTKB property