The bald eagle chases the dog. The bald eagle chases the tiger. The bald eagle is blue. The bald eagle is nice. The dog chases the bald eagle. The dog chases the tiger. The dog eats the bald eagle. The dog eats the tiger. The dog is blue. The dog sees the bald eagle. The tiger chases the bald eagle. The tiger eats the bald eagle. The tiger eats the dog. The tiger is rough. The tiger sees the bald eagle. If someone chases the dog and the dog eats the tiger then they see the tiger. If someone sees the tiger then they chase the bald eagle. If someone is big and they eat the tiger then the tiger is blue. If someone is rough and they eat the bald eagle then they chase the bald eagle. If the bald eagle is blue then the bald eagle is big. If someone is nice and they chase the bald eagle then the bald eagle sees the dog.
The dog does not eat the dog.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle chases the tiger.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is nice.[(triple4)] The dog chases the bald eagle.[(triple5)] The dog chases the tiger.[(triple6)] The dog eats the bald eagle.[(triple7)] The dog eats the tiger.[(triple8)] The dog is blue.[(triple9)] The dog sees the bald eagle.[(triple10)] The tiger chases the bald eagle.[(triple11 OR ((triple14 triple12) -> rule4))] The tiger eats the bald eagle.[(triple12)] The tiger eats the dog.[(triple13)] The tiger is rough.[(triple14)] The tiger sees the bald eagle.[(triple15)] @1: The bald eagle is big.[(((triple3) -> rule5))] The bald eagle sees the tiger.[(((triple1 triple8) -> rule1))] @2: The bald eagle chases the bald eagle.[(((((triple1 triple8) -> rule1)) -> rule2))] @3: The bald eagle sees the dog.[(((triple4 ((((triple1 triple8) -> rule1)) -> rule2)) -> rule6))]