The bald eagle chases the cow. The bald eagle is kind. The bald eagle needs the bear. The bear chases the bald eagle. The bear is big. The bear likes the bald eagle. The bear likes the rabbit. The cow is nice. The cow is red. The rabbit chases the bald eagle. The rabbit chases the cow. The rabbit needs the bear. If something is nice and big then it likes the rabbit. If something likes the bald eagle and the bald eagle needs the rabbit then the bald eagle needs the bear. If something is red and it likes the bear then it needs the bald eagle. If something chases the rabbit then it is young. If something chases the bald eagle then it chases the bear. If something needs the cow and the cow chases the bald eagle then it likes the cow. If something needs the bald eagle then it likes the cow. All red things are nice.
The rabbit needs the bear.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle needs the bear.[(triple3)] The bear chases the bald eagle.[(triple4)] The bear is big.[(triple5)] The bear likes the bald eagle.[(triple6)] The bear likes the rabbit.[(triple7)] The cow is nice.[(triple8 OR ((triple9) -> rule8))] The cow is red.[(triple9)] The rabbit chases the bald eagle.[(triple10)] The rabbit chases the cow.[(triple11)] The rabbit needs the bear.[(triple12)] @1: The bear chases the bear.[(((triple4) -> rule5))] The rabbit chases the bear.[(((triple10) -> rule5))]