The bald eagle needs the squirrel. The dog is rough. The lion likes the squirrel. The squirrel needs the bald eagle. If something is nice then it needs the dog. If something chases the dog then it is nice. If something chases the bald eagle then it needs the squirrel. If something chases the bald eagle then the bald eagle is not rough. If something likes the squirrel then the squirrel chases the dog. If something is blue then it needs the bald eagle. If something is blue and not big then it needs the bald eagle. If something likes the dog then the dog chases the bald eagle.
The lion does not need the dog.
@0: The bald eagle needs the squirrel.[(triple1)] The dog is rough.[(triple2)] The lion likes the squirrel.[(triple3)] The squirrel needs the bald eagle.[(triple4)] @1: The squirrel chases the dog.[(((triple3) -> rule5))] @2: The squirrel is nice.[(((((triple3) -> rule5)) -> rule2))] @3: The squirrel needs the dog.[(((((((triple3) -> rule5)) -> rule2)) -> rule1))]