The bald eagle likes the bear. The bald eagle likes the cow. The bear chases the bald eagle. The bear is nice. The bear is rough. The bear likes the cow. The cow chases the bald eagle. The cow chases the bear. The cow likes the bear. The cow needs the bear. If something is young then it chases the cow. If something chases the cow and the cow chases the bear then it needs the bear. If the cow chases the bear then the cow likes the bear. If something is young then it chases the bear. If something likes the cow then it chases the cow. If something likes the cow and it is cold then the cow chases the bear. If the bald eagle likes the bear and the bald eagle chases the bear then the bald eagle needs the cow. If the bald eagle needs the bear and the bear likes the cow then the cow needs the bald eagle.
The bald eagle does not chase the bear.
@0: The bald eagle likes the bear.[(triple1)] The bald eagle likes the cow.[(triple2)] The bear chases the bald eagle.[(triple3)] The bear is nice.[(triple4)] The bear is rough.[(triple5)] The bear likes the cow.[(triple6)] The cow chases the bald eagle.[(triple7)] The cow chases the bear.[(triple8)] The cow likes the bear.[(triple9 OR ((triple8) -> rule3))] The cow needs the bear.[(triple10)] @1: The bald eagle chases the cow.[(((triple2) -> rule5))] The bear chases the cow.[(((triple6) -> rule5))] @2: The bald eagle needs the bear.[(((((triple2) -> rule5) triple8) -> rule2))] The bear needs the bear.[(((((triple6) -> rule5) triple8) -> rule2))] @3: The cow needs the bald eagle.[(((((((triple2) -> rule5) triple8) -> rule2) triple6) -> rule8))]