The bald eagle is green. The bear is rough. The mouse likes the bear. The squirrel likes the bear. If something chases the squirrel and it likes the mouse then it is kind. If something is rough and it likes the mouse then it is kind. If something is rough and it likes the squirrel then it likes the bald eagle. All rough things are young. If something is rough then it needs the mouse. If something is young then it needs the bear. If something chases the squirrel and the squirrel chases the bald eagle then the squirrel is rough. If something needs the mouse and it is young then it likes the mouse.
The bald eagle likes the bald eagle.
@0: The bald eagle is green.[(triple1)] The bear is rough.[(triple2)] The mouse likes the bear.[(triple3)] The squirrel likes the bear.[(triple4)] @1: The bear is young.[(((triple2) -> rule4))] The bear needs the mouse.[(((triple2) -> rule5))] @2: The bear likes the mouse.[(((((triple2) -> rule5) ((triple2) -> rule4)) -> rule8))] The bear needs the bear.[(((((triple2) -> rule4)) -> rule6))] @3: The bear is kind.[(((triple2 ((((triple2) -> rule5) ((triple2) -> rule4)) -> rule8)) -> rule2))]