The bear sees the squirrel. The dog visits the squirrel. The squirrel is blue. The tiger is young. If something sees the bear and it needs the tiger then the tiger needs the squirrel. If something is blue then it sees the dog. If something sees the dog then the dog visits the bear. If the dog visits the squirrel then the dog is kind. If something needs the tiger and the tiger sees the dog then the dog sees the tiger. If something visits the squirrel and it visits the bear then the bear sees the tiger.
The dog sees the dog.
@0: The bear sees the squirrel.[(triple1)] The dog visits the squirrel.[(triple2)] The squirrel is blue.[(triple3)] The tiger is young.[(triple4)] @1: The dog is kind.[(((triple2) -> rule4))] The squirrel sees the dog.[(((triple3) -> rule2))] @2: The dog visits the bear.[(((((triple3) -> rule2)) -> rule3))] @3: The bear sees the tiger.[(((triple2 ((((triple3) -> rule2)) -> rule3)) -> rule6))]