The squirrel is kind. The tiger likes the squirrel. If something likes the tiger then it is green. If something likes the squirrel then the squirrel is green. If the squirrel sees the tiger then the squirrel likes the tiger.
The tiger does not like the squirrel.
@0: The squirrel is kind.[(triple1)] The tiger likes the squirrel.[(triple2)] @1: The squirrel is green.[(((triple2) -> rule2))]