The squirrel is big. If the squirrel is blue and the squirrel is young then the squirrel is round. All young people are big. Big, blue people are kind. All kind people are blue. If someone is big then they are kind. If the squirrel is young then the squirrel is big.
The squirrel is young.
@0: The squirrel is big.[(triple1)] @1: The squirrel is kind.[(((triple1) -> rule5))] @2: The squirrel is blue.[(((((triple1) -> rule5)) -> rule4))]