The squirrel is cold. If the squirrel is cold and the squirrel is big then the squirrel is young. If something is kind and cold then it is nice. If something is big and not kind then it is nice. If something is cold then it is nice. If something is big and not kind then it is young. Nice things are young. If something is cold and kind then it is big. If something is cold and young then it is big.
The squirrel is not nice.
@0: The squirrel is cold.[(triple1)] @1: The squirrel is nice.[(((triple1) -> rule4))] @2: The squirrel is young.[(((((triple1) -> rule4)) -> rule6))] @3: The squirrel is big.[(((triple1 ((((triple1) -> rule4)) -> rule6)) -> rule8))]