The bald eagle chases the bear. The bald eagle is nice. The bear chases the cow. The bear is red. The bear sees the bald eagle. The cow chases the bald eagle. The cow chases the dog. The cow is rough. The cow likes the bald eagle. The cow sees the bald eagle. The dog chases the cow. The dog is nice. The dog is red. The dog likes the bear. The dog sees the cow. If something likes the bear then the bear sees the bald eagle. If something likes the dog and it is nice then it chases the cow. If something chases the bald eagle then the bald eagle chases the cow.
The bald eagle chases the bald eagle.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle is nice.[(triple2)] The bear chases the cow.[(triple3)] The bear is red.[(triple4)] The bear sees the bald eagle.[(triple5 OR ((triple14) -> rule1))] The cow chases the bald eagle.[(triple6)] The cow chases the dog.[(triple7)] The cow is rough.[(triple8)] The cow likes the bald eagle.[(triple9)] The cow sees the bald eagle.[(triple10)] The dog chases the cow.[(triple11)] The dog is nice.[(triple12)] The dog is red.[(triple13)] The dog likes the bear.[(triple14)] The dog sees the cow.[(triple15)] @1: The bald eagle chases the cow.[(((triple6) -> rule3))]