Anne is big. Anne is green. Harry is young. Big people are red. Green, red people are white.
Anne is red.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Harry is young.[(triple3)] @1: Anne is red.[(((triple1) -> rule1))] @2: Anne is white.[(((triple2 ((triple1) -> rule1)) -> rule2))]