The bald eagle likes the squirrel. The bear chases the squirrel. The rabbit chases the bear. The rabbit likes the bear. The squirrel chases the rabbit. The squirrel eats the rabbit. The squirrel is blue. If something eats the bald eagle then the bald eagle chases the squirrel. If something likes the squirrel then the squirrel chases the bald eagle. If something eats the bald eagle then the bald eagle eats the rabbit. If something is red then it chases the bald eagle. If something eats the bear then it likes the bear. If something chases the bald eagle then the bald eagle likes the rabbit. If something chases the squirrel and it is nice then the squirrel is nice. If something likes the rabbit then it likes the bear.
The bald eagle chases the squirrel.
@0: The bald eagle likes the squirrel.[(triple1)] The bear chases the squirrel.[(triple2)] The rabbit chases the bear.[(triple3)] The rabbit likes the bear.[(triple4)] The squirrel chases the rabbit.[(triple5)] The squirrel eats the rabbit.[(triple6)] The squirrel is blue.[(triple7)] @1: The squirrel chases the bald eagle.[(((triple1) -> rule2))] @2: The bald eagle likes the rabbit.[(((((triple1) -> rule2)) -> rule6))] @3: The bald eagle likes the bear.[(((((((triple1) -> rule2)) -> rule6)) -> rule8))]