The squirrel is not big. The squirrel is not cold. The squirrel is kind. If something is kind and not cold then it is young.
The squirrel does not chase the squirrel.
@0: The squirrel is kind.[(triple3)] The squirrel is not big.[(triple1)] The squirrel is not cold.[(triple2)] @1: The squirrel is young.[(((triple3 triple2) -> rule1))]