Anne is rough. Dave is green. All quiet, nice people are young. All green people are nice. All nice people are quiet.
Dave is kind.
@0: Anne is rough.[(triple1)] Dave is green.[(triple2)] @1: Dave is nice.[(((triple2) -> rule2))] @2: Dave is quiet.[(((((triple2) -> rule2)) -> rule3))] @3: Dave is young.[(((((((triple2) -> rule2)) -> rule3) ((triple2) -> rule2)) -> rule1))]