Harry is blue. Harry is not quiet. Harry is red. Harry is rough. Harry is round. Harry is smart. Harry is not white. All blue things are red. All blue things are not white. If Harry is blue and Harry is not red then Harry is white. If Harry is white then Harry is not round. If something is white then it is not smart. All white, quiet things are smart.
Harry is smart.
@0: Harry is blue.[(triple1)] Harry is not quiet.[(triple2)] Harry is not white.[(triple7 OR ((triple1) -> rule2))] Harry is red.[(triple3 OR ((triple1) -> rule1))] Harry is rough.[(triple4)] Harry is round.[(triple5)] Harry is smart.[(triple6)]