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