Harry is blue. Harry is furry. Harry is kind. Harry is nice. Harry is quiet. Harry is smart. Harry is white. All smart, kind things are quiet.
Harry is not blue.
@0: Harry is blue.[(triple1)] Harry is furry.[(triple2)] Harry is kind.[(triple3)] Harry is nice.[(triple4)] Harry is quiet.[(triple5 OR ((triple6 triple3) -> rule1))] Harry is smart.[(triple6)] Harry is white.[(triple7)]