The bear chases the cow. The bear needs the cow. The cow is blue. If something chases the cow then the cow visits the bear.
The bear needs the bear.
@0: The bear chases the cow.[(triple1)] The bear needs the cow.[(triple2)] The cow is blue.[(triple3)] @1: The cow visits the bear.[(((triple1) -> rule1))]