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