The squirrel is kind. All kind people are big. Green, big people are red. Big, kind people are green.
The squirrel is not round.
@0: The squirrel is kind.[(triple1)] @1: The squirrel is big.[(((triple1) -> rule1))] @2: The squirrel is green.[(((((triple1) -> rule1) triple1) -> rule3))] @3: The squirrel is red.[(((((((triple1) -> rule1) triple1) -> rule3) ((triple1) -> rule1)) -> rule2))]