The squirrel is blue. The squirrel is kind. The squirrel is red. If someone is big and red then they are cold. All kind people are big.
The squirrel is cold.
@0: The squirrel is blue.[(triple1)] The squirrel is kind.[(triple2)] The squirrel is red.[(triple3)] @1: The squirrel is big.[(((triple2) -> rule2))] @2: The squirrel is cold.[(((((triple2) -> rule2) triple3) -> rule1))]