The bald eagle chases the tiger. The bald eagle is green. The bald eagle needs the dog. The bald eagle sees the tiger. The dog needs the bald eagle. The tiger is big. The tiger is green. The tiger needs the bald eagle. The tiger sees the bald eagle. The tiger sees the dog. If something needs the tiger and it is round then it chases the bald eagle. If something is kind then it chases the tiger. If something chases the tiger and the tiger needs the bald eagle then it is young. If something needs the dog then it is big. If something needs the dog and it needs the tiger then it chases the bald eagle. If something is young and it chases the tiger then the tiger chases the dog. If something needs the bald eagle and the bald eagle is kind then the bald eagle sees the dog. If something chases the tiger then the tiger chases the bald eagle.
The dog needs the dog.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle needs the dog.[(triple3)] The bald eagle sees the tiger.[(triple4)] The dog needs the bald eagle.[(triple5)] The tiger is big.[(triple6)] The tiger is green.[(triple7)] The tiger needs the bald eagle.[(triple8)] The tiger sees the bald eagle.[(triple9)] The tiger sees the dog.[(triple10)] @1: The bald eagle is big.[(((triple3) -> rule4))] The bald eagle is young.[(((triple1 triple8) -> rule3))] The tiger chases the bald eagle.[(((triple1) -> rule8))] @2: The tiger chases the dog.[(((((triple1 triple8) -> rule3) triple1) -> rule6))]