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