The cat chases the squirrel. The cat is rough. The squirrel is rough. If something needs the cat and the cat chases the squirrel then the squirrel is round. If something is rough then it does not visit the squirrel.
The cat does not visit the squirrel.
@0: The cat chases the squirrel.[(triple1)] The cat is rough.[(triple2)] The squirrel is rough.[(triple3)] @1: The cat does not visit the squirrel.[(((triple2) -> rule2))] The squirrel does not visit the squirrel.[(((triple3) -> rule2))]