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