is not solvable

11 triples
GPTKB property