solves cases for

3 triples
GPTKB property