The bald eagle eats the dog. The bald eagle is rough. The bald eagle is round. The bald eagle needs the tiger. The dog chases the bald eagle. The dog chases the rabbit. The dog eats the rabbit. The dog is rough. The dog needs the tiger. The rabbit chases the dog. The rabbit eats the bald eagle. The rabbit is blue. The tiger chases the bald eagle. The tiger is big. The tiger needs the bald eagle. If something chases the rabbit and the rabbit is young then it is young. If something eats the dog then it is big. If something is round then it is blue. If something needs the dog then it eats the rabbit. If something eats the rabbit then the rabbit eats the dog. If something is young then it is blue. If the dog chases the bald eagle and the bald eagle is big then the bald eagle needs the rabbit. If the rabbit needs the tiger and the tiger chases the rabbit then the tiger needs the bald eagle.
The bald eagle is big.
@0: The bald eagle eats the dog.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle needs the tiger.[(triple4)] The dog chases the bald eagle.[(triple5)] The dog chases the rabbit.[(triple6)] The dog eats the rabbit.[(triple7)] The dog is rough.[(triple8)] The dog needs the tiger.[(triple9)] The rabbit chases the dog.[(triple10)] The rabbit eats the bald eagle.[(triple11)] The rabbit is blue.[(triple12)] The tiger chases the bald eagle.[(triple13)] The tiger is big.[(triple14)] The tiger needs the bald eagle.[(triple15)] @1: The bald eagle is big.[(((triple1) -> rule2))] The bald eagle is blue.[(((triple3) -> rule3))] The rabbit eats the dog.[(((triple7) -> rule5))] @2: The bald eagle needs the rabbit.[(((triple5 ((triple1) -> rule2)) -> rule7))] The rabbit is big.[(((((triple7) -> rule5)) -> rule2))]