Harry is cold. Harry is not green. Harry is kind. Harry is nice. Harry is not quiet. Harry is rough. Harry is not white. Quiet things are white. All cold, kind things are not white. All nice, rough things are not white. All nice things are cold. If something is quiet and kind then it is cold. If Harry is rough then Harry is not white.
Harry is not white.
@0: Harry is cold.[(triple1 OR ((triple4) -> rule4))] Harry is kind.[(triple3)] Harry is nice.[(triple4)] Harry is not green.[(triple2)] Harry is not quiet.[(triple5)] Harry is not white.[(triple7 OR ((triple6) -> rule6) OR ((triple1 triple3) -> rule2) OR ((triple4 triple6) -> rule3) OR ((((triple4) -> rule4) triple3) -> rule2))] Harry is rough.[(triple6)]