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 is not cold.
@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))]