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