Harry is furry. Harry is kind. Harry is nice. Kind things are young. All smart, rough things are nice. If something is rough then it is furry. If something is furry then it is big. All furry, young things are smart. All nice, rough things are young.
Harry is young.
@0: Harry is furry.[(triple1)] Harry is kind.[(triple2)] Harry is nice.[(triple3)] @1: Harry is big.[(((triple1) -> rule4))] Harry is young.[(((triple2) -> rule1))] @2: Harry is smart.[(((triple1 ((triple2) -> rule1)) -> rule5))]