Harry is red. If someone is red and green then they are big. Red people are green. Big people are kind.
Harry is not big.
@0: Harry is red.[(triple1)] @1: Harry is green.[(((triple1) -> rule2))] @2: Harry is big.[(((triple1 ((triple1) -> rule2)) -> rule1))] @3: Harry is kind.[(((((triple1 ((triple1) -> rule2)) -> rule1)) -> rule3))]