The bear chases the dog. The bear chases the lion. The bear is rough. The bear needs the cow. The cow is kind. The dog does not need the cow. The dog visits the lion. The lion needs the cow. The lion visits the bear. The lion visits the cow. If something is cold and it does not chase the bear then it does not visit the cow. If something chases the lion then it visits the bear. If something chases the cow and the cow does not need the lion then the lion visits the bear.
The cow does not visit the bear.
@0: The bear chases the dog.[(triple1)] The bear chases the lion.[(triple2)] The bear is rough.[(triple3)] The bear needs the cow.[(triple4)] The cow is kind.[(triple5)] The dog does not need the cow.[(triple6)] The dog visits the lion.[(triple7)] The lion needs the cow.[(triple8)] The lion visits the bear.[(triple9)] The lion visits the cow.[(triple10)] @1: The bear visits the bear.[(((triple2) -> rule2))]