Gary is furry. Harry is nice. Harry is smart. All nice, young things are rough. All smart things are young. If something is nice then it is smart.
Harry is smart.
@0: Gary is furry.[(triple1)] Harry is nice.[(triple2)] Harry is smart.[(triple3 OR ((triple2) -> rule3))] @1: Harry is young.[(((triple3) -> rule2) OR ((((triple2) -> rule3)) -> rule2))] @2: Harry is rough.[(((triple2 ((triple3) -> rule2)) -> rule1) OR ((triple2 ((((triple2) -> rule3)) -> rule2)) -> rule1))]