Anne is not nice. Anne is red. Anne is young. Harry is kind. Harry is red. Harry is rough. Harry is not white. If Anne is nice and Anne is not white then Anne is not kind. If Anne is white then Anne is not young. If someone is red and not young then they are not kind. If someone is white and not nice then they are kind. If someone is red then they are kind. If someone is red and rough then they are cold. If someone is nice and not kind then they are rough. If someone is young and not kind then they are rough.
Harry is not rough.
@0: Anne is not nice.[(triple1)] Anne is red.[(triple2)] Anne is young.[(triple3)] Harry is kind.[(triple4 OR ((triple5) -> rule5))] Harry is not white.[(triple7)] Harry is red.[(triple5)] Harry is rough.[(triple6)] @1: Anne is kind.[(((triple2) -> rule5))] Harry is cold.[(((triple5 triple6) -> rule6))]