The cow eats the tiger. The cow needs the tiger. The tiger needs the cow. If something is rough and red then it chases the cow. If something eats the tiger then it chases the tiger. If something needs the tiger and the tiger chases the cow then the cow eats the tiger.
The tiger is rough.
@0: The cow eats the tiger.[(triple1)] The cow needs the tiger.[(triple2)] The tiger needs the cow.[(triple3)] @1: The cow chases the tiger.[(((triple1) -> rule2))]