Anne is not cold. Anne is not red. Anne is not white. Harry is blue. Harry is cold. Harry is kind. Harry is white. White, red people are not quiet. If someone is rough then they are quiet. Blue people are rough. All blue people are rough. If Anne is rough then Anne is not white. Quiet people are not red. If someone is red and not rough then they are not kind. If someone is quiet and not cold then they are not kind.
Harry is blue.
@0: Anne is not cold.[(triple1)] Anne is not red.[(triple2)] Anne is not white.[(triple3)] Harry is blue.[(triple4)] Harry is cold.[(triple5)] Harry is kind.[(triple6)] Harry is white.[(triple7)] @1: Harry is rough.[(((triple4) -> rule3) OR ((triple4) -> rule4))] @2: Harry is quiet.[(((((triple4) -> rule3)) -> rule2) OR ((((triple4) -> rule4)) -> rule2))] @3: Harry is not red.[(((((((triple4) -> rule3)) -> rule2)) -> rule6) OR ((((((triple4) -> rule4)) -> rule2)) -> rule6))]