The bald eagle chases the bear. The bald eagle is blue. The bald eagle sees the cow. The bald eagle visits the bear. The bear is blue. The bear is rough. The cow chases the bald eagle. The cow is rough. The cow is young. The cow sees the bear. The cow visits the dog. The dog is cold. The dog is kind. The dog is young. The dog visits the bald eagle. If the cow sees the bald eagle then the cow chases the bald eagle. If something is cold and it sees the bear then the bear sees the cow. If something chases the bald eagle and it chases the bear then the bald eagle is cold. If something sees the dog and the dog visits the cow then the dog sees the bear. If something sees the cow then the cow is cold. If something sees the bear and the bear sees the cow then it visits the bear.
The bald eagle chases the bald eagle.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle sees the cow.[(triple3)] The bald eagle visits the bear.[(triple4)] The bear is blue.[(triple5)] The bear is rough.[(triple6)] The cow chases the bald eagle.[(triple7)] The cow is rough.[(triple8)] The cow is young.[(triple9)] The cow sees the bear.[(triple10)] The cow visits the dog.[(triple11)] The dog is cold.[(triple12)] The dog is kind.[(triple13)] The dog is young.[(triple14)] The dog visits the bald eagle.[(triple15)] @1: The cow is cold.[(((triple3) -> rule5))] @2: The bear sees the cow.[(((((triple3) -> rule5) triple10) -> rule2))] @3: The cow visits the bear.[(((triple10 ((((triple3) -> rule5) triple10) -> rule2)) -> rule6))]