is non abelian

9 triples
GPTKB property