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