The bald eagle likes the squirrel. The bear chases the bald eagle. The squirrel likes the bear. If something chases the bear then the bear is nice. If something likes the bald eagle and the bald eagle is nice then the bald eagle chases the squirrel. If something is nice then it is big. If something likes the squirrel and the squirrel chases the bald eagle then the bald eagle chases the bear. If something chases the bear and it eats the bear then the bear eats the bald eagle. If something chases the bald eagle then the bald eagle likes the bear. If something chases the bear then the bear chases the squirrel. If something chases the bald eagle then it chases the bear.
The bear chases the squirrel.
@0: The bald eagle likes the squirrel.[(triple1)] The bear chases the bald eagle.[(triple2)] The squirrel likes the bear.[(triple3)] @1: The bald eagle likes the bear.[(((triple2) -> rule6))] The bear chases the bear.[(((triple2) -> rule8))] @2: The bear chases the squirrel.[(((((triple2) -> rule8)) -> rule7))] The bear is nice.[(((((triple2) -> rule8)) -> rule1))] @3: The bear is big.[(((((((triple2) -> rule8)) -> rule1)) -> rule3))]