The bear sees the rabbit. The cow is blue. The rabbit is round. The squirrel visits the rabbit. If the cow sees the squirrel then the squirrel is young. If something is kind then it likes the bear. If something is young and it likes the squirrel then it likes the cow. If something is blue then it sees the squirrel. If something sees the bear then the bear visits the cow. If something is blue and it sees the squirrel then the squirrel sees the bear.
The bear likes the bear.
@0: The bear sees the rabbit.[(triple1)] The cow is blue.[(triple2)] The rabbit is round.[(triple3)] The squirrel visits the rabbit.[(triple4)] @1: The cow sees the squirrel.[(((triple2) -> rule4))] @2: The squirrel is young.[(((((triple2) -> rule4)) -> rule1))] The squirrel sees the bear.[(((triple2 ((triple2) -> rule4)) -> rule6))] @3: The bear visits the cow.[(((((triple2 ((triple2) -> rule4)) -> rule6)) -> rule5))]