Anne is green. Charlie is not kind. Erin is not rough. Harry is quiet. Quiet, green things are kind. If something is quiet and not young then it is nice. Green things are quiet.
Erin is smart.
@0: Anne is green.[(triple1)] Charlie is not kind.[(triple2)] Erin is not rough.[(triple3)] Harry is quiet.[(triple4)] @1: Anne is quiet.[(((triple1) -> rule3))] @2: Anne is kind.[(((((triple1) -> rule3) triple1) -> rule1))]