Anne is blue. Erin is not green. Harry is not young. Big, young things are blue. Green, blue things are rough. Rough, young things are nice. If something is smart and big then it is not nice. Blue things are green. If something is blue and rough then it is smart.
Anne is not big.
@0: Anne is blue.[(triple1)] Erin is not green.[(triple2)] Harry is not young.[(triple3)] @1: Anne is green.[(((triple1) -> rule5))] @2: Anne is rough.[(((((triple1) -> rule5) triple1) -> rule2))] @3: Anne is smart.[(((triple1 ((((triple1) -> rule5) triple1) -> rule2)) -> rule6))]