is not soluble in

9 triples
GPTKB property