Harry is white. If someone is nice then they are round. If someone is white then they are nice. All round people are big.
Harry is rough.
@0: Harry is white.[(triple1)] @1: Harry is nice.[(((triple1) -> rule2))] @2: Harry is round.[(((((triple1) -> rule2)) -> rule1))] @3: Harry is big.[(((((((triple1) -> rule2)) -> rule1)) -> rule3))]