Harry is big. Harry is kind. Harry is young. If Harry is furry then Harry is not blue. All young people are white. All white people are furry.
Harry is big.
@0: Harry is big.[(triple1)] Harry is kind.[(triple2)] Harry is young.[(triple3)] @1: Harry is white.[(((triple3) -> rule2))] @2: Harry is furry.[(((((triple3) -> rule2)) -> rule3))] @3: Harry is not blue.[(((((((triple3) -> rule2)) -> rule3)) -> rule1))]