The squirrel is big. If the squirrel is red then the squirrel is cold. If someone is cold and not big then they are young. Cold, big people are kind. If the squirrel is kind then the squirrel is red. If someone is kind and not big then they are not red. If someone is big then they are red.
The squirrel is not cold.
@0: The squirrel is big.[(triple1)] @1: The squirrel is red.[(((triple1) -> rule6))] @2: The squirrel is cold.[(((((triple1) -> rule6)) -> rule1))] @3: The squirrel is kind.[(((((((triple1) -> rule6)) -> rule1) triple1) -> rule3))]