The bald eagle chases the rabbit. The bald eagle eats the tiger. The bald eagle needs the tiger. The rabbit chases the bald eagle. The rabbit chases the tiger. The rabbit eats the bald eagle. The rabbit is red. The rabbit needs the tiger. The tiger chases the rabbit. The tiger eats the bald eagle. The tiger is big. The tiger needs the bald eagle. If someone is green and they eat the rabbit then they are big. If someone is big and they eat the bald eagle then the bald eagle needs the rabbit. If the rabbit chases the tiger and the rabbit eats the bald eagle then the rabbit eats the tiger.
The bald eagle chases the rabbit.
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle needs the tiger.[(triple3)] The rabbit chases the bald eagle.[(triple4)] The rabbit chases the tiger.[(triple5)] The rabbit eats the bald eagle.[(triple6)] The rabbit is red.[(triple7)] The rabbit needs the tiger.[(triple8)] The tiger chases the rabbit.[(triple9)] The tiger eats the bald eagle.[(triple10)] The tiger is big.[(triple11)] The tiger needs the bald eagle.[(triple12)] @1: The bald eagle needs the rabbit.[(((triple11 triple10) -> rule2))] The rabbit eats the tiger.[(((triple5 triple6) -> rule3))]