The bald eagle is kind. The bald eagle sees the bear. The bald eagle sees the dog. The bald eagle visits the dog. The bear eats the dog. The bear is green. The bear is red. The bear is rough. The bear sees the bald eagle. The bear visits the bald eagle. The bear visits the dog. The dog eats the bald eagle. The dog sees the bear. The dog visits the bald eagle. The dog visits the bear. If something eats the dog and the dog is green then the dog sees the bear. If something visits the bald eagle then the bald eagle visits the bear.
The dog eats the dog.
@0: The bald eagle is kind.[(triple1)] The bald eagle sees the bear.[(triple2)] The bald eagle sees the dog.[(triple3)] The bald eagle visits the dog.[(triple4)] The bear eats the dog.[(triple5)] The bear is green.[(triple6)] The bear is red.[(triple7)] The bear is rough.[(triple8)] The bear sees the bald eagle.[(triple9)] The bear visits the bald eagle.[(triple10)] The bear visits the dog.[(triple11)] The dog eats the bald eagle.[(triple12)] The dog sees the bear.[(triple13)] The dog visits the bald eagle.[(triple14)] The dog visits the bear.[(triple15)] @1: The bald eagle visits the bear.[(((triple10) -> rule2) OR ((triple14) -> rule2))]