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