The bald eagle chases the tiger. The bald eagle is kind. The bald eagle needs the dog. The bald eagle needs the tiger. The dog chases the bald eagle. The dog eats the bald eagle. The dog eats the tiger. The dog is young. The dog needs the bald eagle. The tiger chases the bald eagle. The tiger eats the bald eagle. The tiger eats the dog. The tiger is green. The tiger is kind. The tiger needs the dog. If the tiger chases the bald eagle then the bald eagle chases the tiger. If someone eats the tiger then the tiger needs the bald eagle.
The dog is kind.
@0: The bald eagle chases the tiger.[(triple1 OR ((triple10) -> rule1))] The bald eagle is kind.[(triple2)] The bald eagle needs the dog.[(triple3)] The bald eagle needs the tiger.[(triple4)] The dog chases the bald eagle.[(triple5)] The dog eats the bald eagle.[(triple6)] The dog eats the tiger.[(triple7)] The dog is young.[(triple8)] The dog needs the bald eagle.[(triple9)] The tiger chases the bald eagle.[(triple10)] The tiger eats the bald eagle.[(triple11)] The tiger eats the dog.[(triple12)] The tiger is green.[(triple13)] The tiger is kind.[(triple14)] The tiger needs the dog.[(triple15)] @1: The tiger needs the bald eagle.[(((triple7) -> rule2))]