The squirrel is big. All nice, big things are rough. If the squirrel is big then the squirrel is nice. If the squirrel is not nice then the squirrel is not rough. Rough things are kind. If the squirrel is cold and the squirrel is rough then the squirrel is not kind. If something is big and not rough then it is cold.
The squirrel does not need the squirrel.
@0: The squirrel is big.[(triple1)] @1: The squirrel is nice.[(((triple1) -> rule2))] @2: The squirrel is rough.[(((((triple1) -> rule2) triple1) -> rule1))] @3: The squirrel is kind.[(((((((triple1) -> rule2) triple1) -> rule1)) -> rule4))]