Harry is green. Harry is red. Harry is round. Green, big things are rough. All green, round things are big.
Harry is red.
@0: Harry is green.[(triple1)] Harry is red.[(triple2)] Harry is round.[(triple3)] @1: Harry is big.[(((triple1 triple3) -> rule2))] @2: Harry is rough.[(((triple1 ((triple1 triple3) -> rule2)) -> rule1))]