The bald eagle chases the dog. The bald eagle chases the rabbit. The bald eagle is cold. The bald eagle likes the cow. The cow likes the dog. The cow needs the bald eagle. The dog chases the cow. The dog is nice. The dog likes the bald eagle. The dog likes the cow. The rabbit chases the cow. The rabbit is cold. The rabbit is young. The rabbit likes the dog. The rabbit needs the bald eagle. If something is red then it chases the bald eagle. If the dog likes the cow and the dog is nice then the dog is cold. If something likes the dog then it chases the cow. If something needs the bald eagle and the bald eagle is red then the bald eagle is cold. If something needs the cow then the cow needs the dog. If something needs the bald eagle then it chases the rabbit.
The cow chases the dog.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle chases the rabbit.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle likes the cow.[(triple4)] The cow likes the dog.[(triple5)] The cow needs the bald eagle.[(triple6)] The dog chases the cow.[(triple7)] The dog is nice.[(triple8)] The dog likes the bald eagle.[(triple9)] The dog likes the cow.[(triple10)] The rabbit chases the cow.[(triple11 OR ((triple14) -> rule3))] The rabbit is cold.[(triple12)] The rabbit is young.[(triple13)] The rabbit likes the dog.[(triple14)] The rabbit needs the bald eagle.[(triple15)] @1: The cow chases the cow.[(((triple5) -> rule3))] The cow chases the rabbit.[(((triple6) -> rule6))] The dog is cold.[(((triple10 triple8) -> rule2))] The rabbit chases the rabbit.[(((triple15) -> rule6))]