The squirrel is rough. If something is rough and round then it is not cold. If the squirrel is not young then the squirrel is round. Rough things are round. If the squirrel is rough and the squirrel is not round then the squirrel is cold. Cold things are not kind. If something is rough then it is kind.
The squirrel is not kind.
@0: The squirrel is rough.[(triple1)] @1: The squirrel is kind.[(((triple1) -> rule6))] The squirrel is round.[(((triple1) -> rule3))] @2: The squirrel is not cold.[(((triple1 ((triple1) -> rule3)) -> rule1))]