is irreducible

6 triples
GPTKB property