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 dog chases the mouse.
@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))]