The squirrel is cold. The squirrel is green. The squirrel is kind. All green, kind things are big.
The squirrel is cold.
@0: The squirrel is cold.[(triple1)] The squirrel is green.[(triple2)] The squirrel is kind.[(triple3)] @1: The squirrel is big.[(((triple2 triple3) -> rule1))]