The bald eagle is rough. The bear chases the bald eagle. The bear is cold. The lion chases the bear. The lion eats the bald eagle. The rabbit eats the lion. The rabbit sees the bear. If something eats the rabbit and the rabbit chases the bear then the bear is red. If something eats the rabbit then the rabbit chases the bear. If something chases the bear then it eats the rabbit.
The lion is red.
@0: The bald eagle is rough.[(triple1)] The bear chases the bald eagle.[(triple2)] The bear is cold.[(triple3)] The lion chases the bear.[(triple4)] The lion eats the bald eagle.[(triple5)] The rabbit eats the lion.[(triple6)] The rabbit sees the bear.[(triple7)] @1: The lion eats the rabbit.[(((triple4) -> rule3))] @2: The rabbit chases the bear.[(((((triple4) -> rule3)) -> rule2))] @3: The bear is red.[(((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule2)) -> rule1) OR ((((((((triple4) -> rule3)) -> rule2)) -> rule3) ((((triple4) -> rule3)) -> rule2)) -> rule1))] The rabbit eats the rabbit.[(((((((triple4) -> rule3)) -> rule2)) -> rule3))]