The bald eagle eats the bear. The bald eagle is round. The bald eagle needs the bear. The bear chases the tiger. The bear eats the bald eagle. The tiger eats the bear. The tiger is green. The tiger is nice. The tiger is red. The tiger needs the bald eagle. If the tiger eats the bear and the bear is nice then the bear eats the bald eagle. If something is nice then it chases the bear. If something eats the tiger then it chases the tiger. If something eats the tiger then it eats the bald eagle. If something eats the bear and it chases the bear then it eats the tiger. If the bear is green then the bear is nice.
The tiger does not eat the tiger.
@0: The bald eagle eats the bear.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle needs the bear.[(triple3)] The bear chases the tiger.[(triple4)] The bear eats the bald eagle.[(triple5)] The tiger eats the bear.[(triple6)] The tiger is green.[(triple7)] The tiger is nice.[(triple8)] The tiger is red.[(triple9)] The tiger needs the bald eagle.[(triple10)] @1: The tiger chases the bear.[(((triple8) -> rule2))] @2: The tiger eats the tiger.[(((triple6 ((triple8) -> rule2)) -> rule5))] @3: The tiger chases the tiger.[(((((triple6 ((triple8) -> rule2)) -> rule5)) -> rule3))] The tiger eats the bald eagle.[(((((triple6 ((triple8) -> rule2)) -> rule5)) -> rule4))]