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