The cow is big. The cow likes the squirrel. The squirrel likes the cow. If something likes the squirrel then it chases the cow. If something is rough then it chases the squirrel. If something is red then it sees the squirrel.
The squirrel does not chase the squirrel.
@0: The cow is big.[(triple1)] The cow likes the squirrel.[(triple2)] The squirrel likes the cow.[(triple3)] @1: The cow chases the cow.[(((triple2) -> rule1))]