Anne is quiet. Harry is green. Harry is nice. All nice, rough people are round. All smart people are rough. Green people are smart.
Anne is not smart.
@0: Anne is quiet.[(triple1)] Harry is green.[(triple2)] Harry is nice.[(triple3)] @1: Harry is smart.[(((triple2) -> rule3))] @2: Harry is rough.[(((((triple2) -> rule3)) -> rule2))] @3: Harry is round.[(((triple3 ((((triple2) -> rule3)) -> rule2)) -> rule1))]