The squirrel is cold. The squirrel is kind. The squirrel is nice. All kind things are green. Green things are rough. If something is rough and green then it is kind.
The squirrel is not cold.
@0: The squirrel is cold.[(triple1)] The squirrel is kind.[(triple2)] The squirrel is nice.[(triple3)] @1: The squirrel is green.[(((triple2) -> rule1))] @2: The squirrel is rough.[(((((triple2) -> rule1)) -> rule2))]