The rabbit eats the squirrel. The squirrel chases the rabbit. If something eats the squirrel and the squirrel likes the rabbit then the squirrel eats the rabbit. If something eats the squirrel then the squirrel likes the rabbit. If something eats the rabbit and it likes the rabbit then it does not chase the squirrel.
The squirrel does not chase the squirrel.
@0: The rabbit eats the squirrel.[(triple1)] The squirrel chases the rabbit.[(triple2)] @1: The squirrel likes the rabbit.[(((triple1) -> rule2))] @2: The squirrel eats the rabbit.[(((triple1 ((triple1) -> rule2)) -> rule1))] @3: The squirrel does not chase the squirrel.[(((((triple1 ((triple1) -> rule2)) -> rule1) ((triple1) -> rule2)) -> rule3))]