The bald eagle chases the bear. The bear sees the lion. The lion visits the bald eagle. If something visits the bald eagle then it sees the bear. If the lion sees the bald eagle and the lion is big then the lion sees the bear. If something sees the lion and it chases the lion then it visits the bald eagle. If something chases the bear and the bear is nice then it is big. If something chases the bear then the bear chases the lion. If something chases the bald eagle then the bald eagle is nice.
The bear does not visit the bald eagle.
@0: The bald eagle chases the bear.[(triple1)] The bear sees the lion.[(triple2)] The lion visits the bald eagle.[(triple3)] @1: The bear chases the lion.[(((triple1) -> rule5))] The lion sees the bear.[(((triple3) -> rule1))] @2: The bear visits the bald eagle.[(((triple2 ((triple1) -> rule5)) -> rule3))] @3: The bear sees the bear.[(((((triple2 ((triple1) -> rule5)) -> rule3)) -> rule1))]