The bald eagle is big. The bald eagle is kind. The bald eagle needs the tiger. The bear likes the tiger. The rabbit eats the bald eagle. The rabbit needs the tiger. The tiger eats the rabbit. If something likes the rabbit and it needs the rabbit then the rabbit likes the bear. If something eats the rabbit then it needs the rabbit. If something needs the bald eagle and it eats the bald eagle then it is blue.
The rabbit eats the bald eagle.
@0: The bald eagle is big.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle needs the tiger.[(triple3)] The bear likes the tiger.[(triple4)] The rabbit eats the bald eagle.[(triple5)] The rabbit needs the tiger.[(triple6)] The tiger eats the rabbit.[(triple7)] @1: The tiger needs the rabbit.[(((triple7) -> rule2))]