The squirrel is red. If the squirrel is round then the squirrel is big. Red people are round. Round people are kind.
The squirrel is round.
@0: The squirrel is red.[(triple1)] @1: The squirrel is round.[(((triple1) -> rule2))] @2: The squirrel is big.[(((((triple1) -> rule2)) -> rule1))] The squirrel is kind.[(((((triple1) -> rule2)) -> rule3))]