The bald eagle eats the cow. The bald eagle likes the cow. The bear eats the bald eagle. The bear is green. The bear likes the cow. The cow chases the bald eagle. The cow is green. If the bear chases the bald eagle then the bald eagle chases the cow. If something chases the bald eagle and it likes the bald eagle then the bald eagle chases the cow. If something likes the bear and the bear is not nice then it chases the bald eagle. If something chases the bald eagle then it is kind. If the bear is rough and the bear is not nice then the bear eats the cow. If something eats the cow and the cow likes the bear then the bear eats the bald eagle.
The bald eagle does not chase the bald eagle.
@0: The bald eagle eats the cow.[(triple1)] The bald eagle likes the cow.[(triple2)] The bear eats the bald eagle.[(triple3)] The bear is green.[(triple4)] The bear likes the cow.[(triple5)] The cow chases the bald eagle.[(triple6)] The cow is green.[(triple7)] @1: The cow is kind.[(((triple6) -> rule4))]