Harry is big. Harry is blue. Harry is nice. Harry is not quiet. Harry is round. Harry is smart. Harry is not white. All quiet things are nice. If Harry is quiet then Harry is not white. If Harry is round and Harry is quiet then Harry is nice. If something is round then it is not white. If something is smart then it is not white. If something is round and not blue then it is smart.
Harry is not nice.
@0: Harry is big.[(triple1)] Harry is blue.[(triple2)] Harry is nice.[(triple3)] Harry is not quiet.[(triple4)] Harry is not white.[(triple7 OR ((triple5) -> rule4) OR ((triple6) -> rule5))] Harry is round.[(triple5)] Harry is smart.[(triple6)]