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 nice.
@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)]