The squirrel is red. If the squirrel is red and the squirrel is green then the squirrel is blue. Kind, blue things are big. Big things are red. If the squirrel is red then the squirrel is big. If the squirrel is big then the squirrel is green. Kind, big things are red.
The squirrel is not blue.
@0: The squirrel is red.[(triple1)] @1: The squirrel is big.[(((triple1) -> rule4))] @2: The squirrel is green.[(((((triple1) -> rule4)) -> rule5))] @3: The squirrel is blue.[(((triple1 ((((triple1) -> rule4)) -> rule5)) -> rule1))]