The bald eagle eats the dog. The bald eagle is not big. The bald eagle needs the tiger. The bald eagle visits the bear. The bald eagle does not visit the tiger. The bear does not eat the dog. The bear needs the tiger. The bear visits the dog. The dog eats the tiger. The dog is green. The tiger eats the bald eagle. The tiger does not visit the dog. If the dog eats the bear then the dog eats the tiger. If something eats the dog and the dog is not round then the dog eats the tiger. If something eats the bald eagle and it needs the bald eagle then the bald eagle visits the tiger. If something visits the bear then it is not young. If the bald eagle visits the bear then the bear visits the bald eagle. If something eats the bear then the bear does not need the dog. If something visits the bald eagle then the bald eagle eats the bear. If something visits the bald eagle and it is green then the bald eagle visits the dog.
The bear visits the bald eagle.
@0: The bald eagle does not visit the tiger.[(triple5)] The bald eagle eats the dog.[(triple1)] The bald eagle is not big.[(triple2)] The bald eagle needs the tiger.[(triple3)] The bald eagle visits the bear.[(triple4)] The bear does not eat the dog.[(triple6)] The bear needs the tiger.[(triple7)] The bear visits the dog.[(triple8)] The dog eats the tiger.[(triple9)] The dog is green.[(triple10)] The tiger does not visit the dog.[(triple12)] The tiger eats the bald eagle.[(triple11)] @1: The bald eagle is not young.[(((triple4) -> rule4))] The bear visits the bald eagle.[(((triple4) -> rule5))] @2: The bald eagle eats the bear.[(((((triple4) -> rule5)) -> rule7))] @3: The bear does not need the dog.[(((((((triple4) -> rule5)) -> rule7)) -> rule6))]