The bald eagle is nice. The bear eats the lion. The lion needs the squirrel. The squirrel eats the bald eagle. If something eats the squirrel then the squirrel needs the bear. If something is nice then it needs the bear. If something needs the bear then it sees the bear. If the bald eagle sees the squirrel then the squirrel needs the bear. If something needs the bald eagle and the bald eagle sees the lion then it eats the bear. If something eats the bald eagle and the bald eagle sees the bear then the bald eagle sees the lion.
The bald eagle is not nice.
@0: The bald eagle is nice.[(triple1)] The bear eats the lion.[(triple2)] The lion needs the squirrel.[(triple3)] The squirrel eats the bald eagle.[(triple4)] @1: The bald eagle needs the bear.[(((triple1) -> rule2))] @2: The bald eagle sees the bear.[(((((triple1) -> rule2)) -> rule3))] @3: The bald eagle sees the lion.[(((triple4 ((((triple1) -> rule2)) -> rule3)) -> rule6))]