Anne is not cold. Anne is green. Anne is kind. Anne is red. Anne is rough. Anne is smart. Anne is white. If something is smart then it is rough. If Anne is kind and Anne is not white then Anne is green. If something is rough and not white then it is not cold. If something is red and not smart then it is not kind. If Anne is white then Anne is kind. If Anne is not rough then Anne is not cold.
Anne is not white.
@0: Anne is green.[(triple2)] Anne is kind.[(triple3 OR ((triple7) -> rule5))] Anne is not cold.[(triple1)] Anne is red.[(triple4)] Anne is rough.[(triple5 OR ((triple6) -> rule1))] Anne is smart.[(triple6)] Anne is white.[(triple7)]