The bear needs the cow. The cow is young. The lion sees the cow. If something is round then it needs the bear. If the lion needs the bear then the bear does not chase the lion. If the lion sees the cow and the bear does not need the lion then the bear does not chase the lion. If something chases the cow and the cow is not nice then the cow does not see the bear. If something needs the cow then it does not chase the cow. If the bear needs the lion and the bear sees the lion then the bear is red. If the cow needs the bear and the bear does not see the cow then the cow chases the lion. If the lion needs the cow and the cow does not need the bear then the cow does not see the lion.
The cow is not young.
@0: The bear needs the cow.[(triple1)] The cow is young.[(triple2)] The lion sees the cow.[(triple3)] @1: The bear does not chase the cow.[(((triple1) -> rule5))]