The bald eagle chases the bear. The bald eagle chases the cat. The bald eagle is rough. The bald eagle is round. The bald eagle visits the bear. The bald eagle visits the cat. The bear chases the cat. The bear eats the bald eagle. The bear eats the cat. The bear is big. The bear is kind. The bear visits the bald eagle. The cat eats the bear. The cat is blue. The cat is round. The cat visits the bald eagle. If something visits the bald eagle and it eats the bald eagle then it is rough. If something visits the bald eagle and it chases the bear then it is big. If the bear chases the cat then the cat chases the bear. If something eats the cat and the cat is big then the cat chases the bear. If something visits the cat then the cat chases the bald eagle. If something chases the bald eagle then it chases the cat.
The bald eagle is kind.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle chases the cat.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle is round.[(triple4)] The bald eagle visits the bear.[(triple5)] The bald eagle visits the cat.[(triple6)] The bear chases the cat.[(triple7)] The bear eats the bald eagle.[(triple8)] The bear eats the cat.[(triple9)] The bear is big.[(triple10)] The bear is kind.[(triple11)] The bear visits the bald eagle.[(triple12)] The cat eats the bear.[(triple13)] The cat is blue.[(triple14)] The cat is round.[(triple15)] The cat visits the bald eagle.[(triple16)] @1: The bear is rough.[(((triple12 triple8) -> rule1))] The cat chases the bald eagle.[(((triple6) -> rule5))] The cat chases the bear.[(((triple7) -> rule3))] @2: The cat chases the cat.[(((((triple6) -> rule5)) -> rule6))] The cat is big.[(((triple16 ((triple7) -> rule3)) -> rule2))]