Harry is furry. Harry is green. Harry is kind. Harry is quiet. Harry is rough. Harry is smart. Harry is young. If something is furry then it is quiet. All young things are green. All young, rough things are smart.
Harry is young.
@0: Harry is furry.[(triple1)] Harry is green.[(triple2 OR ((triple7) -> rule2))] Harry is kind.[(triple3)] Harry is quiet.[(triple4 OR ((triple1) -> rule1))] Harry is rough.[(triple5)] Harry is smart.[(triple6 OR ((triple7 triple5) -> rule3))] Harry is young.[(triple7)]