The bald eagle sees the bear. The bear is cold. The dog eats the bald eagle. The lion sees the bear. If the lion is green then the lion likes the bald eagle. If the bald eagle is rough then the bald eagle eats the dog. If something sees the bear then it eats the bear. If the bald eagle likes the dog then the bald eagle likes the bear. If something likes the dog and the dog sees the bald eagle then the bald eagle is young. If the lion eats the bear then the bear sees the bald eagle. If something sees the bald eagle then it eats the lion. If something is young then it sees the lion.
The bald eagle eats the bear.
@0: The bald eagle sees the bear.[(triple1)] The bear is cold.[(triple2)] The dog eats the bald eagle.[(triple3)] The lion sees the bear.[(triple4)] @1: The bald eagle eats the bear.[(((triple1) -> rule3))] The lion eats the bear.[(((triple4) -> rule3))] @2: The bear sees the bald eagle.[(((((triple4) -> rule3)) -> rule6))] @3: The bear eats the lion.[(((((((triple4) -> rule3)) -> rule6)) -> rule7))]