The dog is blue. The mouse needs the squirrel. The squirrel needs the dog. If something needs the dog then the dog chases the mouse.
The mouse does not need the dog.
@0: The dog is blue.[(triple1)] The mouse needs the squirrel.[(triple2)] The squirrel needs the dog.[(triple3)] @1: The dog chases the mouse.[(((triple3) -> rule1))]