The cow chases the squirrel. The squirrel likes the cow. If the squirrel needs the cow and the cow likes the squirrel then the cow is green. If something likes the cow and the cow chases the squirrel then the cow likes the squirrel.
The squirrel likes the cow.
@0: The cow chases the squirrel.[(triple1)] The squirrel likes the cow.[(triple2)] @1: The cow likes the squirrel.[(((triple2 triple1) -> rule2))]