The bald eagle is nice. The bear is green. The cat sees the bald eagle. The lion eats the bear. If the cat eats the bear and the cat visits the bear then the cat eats the bald eagle. If someone eats the bald eagle and they are cold then the bald eagle sees the lion. If someone eats the lion and they are young then the lion eats the bear. If someone eats the bear and the bear is cold then they are green. If someone is green then they are cold. If the cat sees the bald eagle then the bald eagle sees the bear. If the bald eagle visits the cat then the cat eats the lion. If someone eats the bear and they visit the bald eagle then they see the lion.
The bald eagle sees the lion.
@0: The bald eagle is nice.[(triple1)] The bear is green.[(triple2)] The cat sees the bald eagle.[(triple3)] The lion eats the bear.[(triple4)] @1: The bald eagle sees the bear.[(((triple3) -> rule6))] The bear is cold.[(((triple2) -> rule5))] @2: The lion is green.[(((triple4 ((triple2) -> rule5)) -> rule4))] @3: The lion is cold.[(((((triple4 ((triple2) -> rule5)) -> rule4)) -> rule5))]