The bald eagle eats the dog. The bald eagle is young. The bald eagle sees the dog. The bald eagle visits the tiger. The dog eats the bald eagle. The dog eats the tiger. The dog is big. The dog is young. The dog sees the bald eagle. The dog sees the tiger. The dog visits the bald eagle. The tiger eats the bald eagle. The tiger is red. The tiger is young. The tiger sees the bald eagle. If something visits the dog and the dog eats the bald eagle then the dog visits the tiger. If something is red and it eats the bald eagle then the bald eagle eats the dog. If something eats the tiger and it visits the bald eagle then the tiger visits the dog.
The bald eagle is not young.
@0: The bald eagle eats the dog.[(triple1 OR ((triple13 triple12) -> rule2))] The bald eagle is young.[(triple2)] The bald eagle sees the dog.[(triple3)] The bald eagle visits the tiger.[(triple4)] The dog eats the bald eagle.[(triple5)] The dog eats the tiger.[(triple6)] The dog is big.[(triple7)] The dog is young.[(triple8)] The dog sees the bald eagle.[(triple9)] The dog sees the tiger.[(triple10)] The dog visits the bald eagle.[(triple11)] The tiger eats the bald eagle.[(triple12)] The tiger is red.[(triple13)] The tiger is young.[(triple14)] The tiger sees the bald eagle.[(triple15)] @1: The tiger visits the dog.[(((triple6 triple11) -> rule3))] @2: The dog visits the tiger.[(((((triple6 triple11) -> rule3) triple5) -> rule1))]