Harry is young. Kind people are green. If Harry is young then Harry is kind. All green, kind people are round.
Harry is green.
@0: Harry is young.[(triple1)] @1: Harry is kind.[(((triple1) -> rule2))] @2: Harry is green.[(((((triple1) -> rule2)) -> rule1))] @3: Harry is round.[(((((((triple1) -> rule2)) -> rule1) ((triple1) -> rule2)) -> rule3))]