Anne is cold. Anne is kind. Anne is nice. Anne is quiet. Anne is rough. Anne is smart. Anne is white. Cold, white people are quiet. If someone is quiet and white then they are smart. White people are nice.
Anne is not cold.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3 OR ((triple7) -> rule3))] Anne is quiet.[(triple4 OR ((triple1 triple7) -> rule1))] Anne is rough.[(triple5)] Anne is smart.[(triple6 OR ((triple4 triple7) -> rule2) OR ((((triple1 triple7) -> rule1) triple7) -> rule2))] Anne is white.[(triple7)]