The bald eagle eats the bear. The bald eagle sees the cat. The bear chases the bald eagle. The bear chases the cat. The bear eats the bald eagle. The bear eats the cat. The bear is big. The bear is red. The bear is round. The bear sees the bald eagle. The bear sees the cat. The cat chases the bald eagle. The cat chases the bear. The cat is round. The cat sees the bald eagle. If the cat chases the bear and the cat eats the bald eagle then the bald eagle sees the bear. If someone eats the cat then they are young. If the cat is cold then the cat eats the bald eagle. If someone is cold then they eat the cat. If someone is cold then they see the bald eagle. If the bear sees the bald eagle and the bald eagle sees the cat then the cat chases the bald eagle. If someone is round then they see the bear. If someone eats the bear and the bear chases the bald eagle then they eat the cat.
The bear chases the cat.
@0: The bald eagle eats the bear.[(triple1)] The bald eagle sees the cat.[(triple2)] The bear chases the bald eagle.[(triple3)] The bear chases the cat.[(triple4)] The bear eats the bald eagle.[(triple5)] The bear eats the cat.[(triple6)] The bear is big.[(triple7)] The bear is red.[(triple8)] The bear is round.[(triple9)] The bear sees the bald eagle.[(triple10)] The bear sees the cat.[(triple11)] The cat chases the bald eagle.[(triple12 OR ((triple10 triple2) -> rule6))] The cat chases the bear.[(triple13)] The cat is round.[(triple14)] The cat sees the bald eagle.[(triple15)] @1: The bald eagle eats the cat.[(((triple1 triple3) -> rule8))] The bear is young.[(((triple6) -> rule2))] The bear sees the bear.[(((triple9) -> rule7))] The cat sees the bear.[(((triple14) -> rule7))] @2: The bald eagle is young.[(((((triple1 triple3) -> rule8)) -> rule2))]