The bald eagle chases the cow. The bald eagle is round. The bald eagle visits the cow. The bald eagle visits the dog. The bald eagle visits the rabbit. The cow needs the rabbit. The dog is red. The dog needs the bald eagle. The dog does not need the cow. The dog visits the cow. The dog visits the rabbit. The rabbit chases the cow. The rabbit is kind. The rabbit is red. The rabbit needs the dog. If the dog visits the cow and the cow is not round then the cow visits the bald eagle. If something chases the dog and it visits the dog then it visits the bald eagle. If the rabbit is not blue then the rabbit needs the bald eagle. If something chases the rabbit then the rabbit needs the bald eagle. If something needs the bald eagle then it is kind. If something is round then it chases the dog. If the rabbit is young and the rabbit does not need the bald eagle then the rabbit does not visit the bald eagle. If something chases the rabbit then the rabbit visits the bald eagle.
The dog visits the cow.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle visits the cow.[(triple3)] The bald eagle visits the dog.[(triple4)] The bald eagle visits the rabbit.[(triple5)] The cow needs the rabbit.[(triple6)] The dog does not need the cow.[(triple9)] The dog is red.[(triple7)] The dog needs the bald eagle.[(triple8)] The dog visits the cow.[(triple10)] The dog visits the rabbit.[(triple11)] The rabbit chases the cow.[(triple12)] The rabbit is kind.[(triple13)] The rabbit is red.[(triple14)] The rabbit needs the dog.[(triple15)] @1: The bald eagle chases the dog.[(((triple2) -> rule6))] The dog is kind.[(((triple8) -> rule5))] @2: The bald eagle visits the bald eagle.[(((((triple2) -> rule6) triple4) -> rule2))]