Harry is big. Harry is blue. Harry is white. If Harry is big and Harry is smart then Harry is furry. All white, blue things are nice. Nice things are smart.
Harry is white.
@0: Harry is big.[(triple1)] Harry is blue.[(triple2)] Harry is white.[(triple3)] @1: Harry is nice.[(((triple3 triple2) -> rule2))] @2: Harry is smart.[(((((triple3 triple2) -> rule2)) -> rule3))] @3: Harry is furry.[(((triple1 ((((triple3 triple2) -> rule2)) -> rule3)) -> rule1))]