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 does not visit the cow.
@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))]