The bear eats the squirrel. The bear is rough. The squirrel eats the bear. If something is rough then it visits the squirrel.
The bear is rough.
@0: The bear eats the squirrel.[(triple1)] The bear is rough.[(triple2)] The squirrel eats the bear.[(triple3)] @1: The bear visits the squirrel.[(((triple2) -> rule1))]