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