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