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