The bear is green. The cow visits the dog. The dog is not rough. If something visits the cow and the cow needs the dog then the cow does not chase the dog. If the dog chases the cow and the cow visits the bear then the cow chases the bear. If something visits the dog then it does not need the dog. If something chases the dog then it needs the cow. If something visits the cow and it does not chase the dog then the dog needs the bear. If something needs the bear and it visits the cow then the bear needs the cow.
The cow needs the cow.
@0: The bear is green.[(triple1)] The cow visits the dog.[(triple2)] The dog is not rough.[(triple3)] @1: The cow does not need the dog.[(((triple2) -> rule3))]