The squirrel is green. Green, big things are blue. All young, big things are green. Green things are big. Young things are blue. All blue, big things are cold. All green, young things are big.
The squirrel is green.
@0: The squirrel is green.[(triple1)] @1: The squirrel is big.[(((triple1) -> rule3))] @2: The squirrel is blue.[(((triple1 ((triple1) -> rule3)) -> rule1))] @3: The squirrel is cold.[(((((triple1 ((triple1) -> rule3)) -> rule1) ((triple1) -> rule3)) -> rule5))]