Anne is smart. Charlie is kind. Fiona is green. Harry is green. All kind people are green. Green, kind people are young.
Charlie is young.
@0: Anne is smart.[(triple1)] Charlie is kind.[(triple2)] Fiona is green.[(triple3)] Harry is green.[(triple4)] @1: Charlie is green.[(((triple2) -> rule1))] @2: Charlie is young.[(((((triple2) -> rule1) triple2) -> rule2))]