Anne is cold. Anne is kind. Anne is nice. Anne is round. Anne is smart. Anne is white. Anne is not young. If someone is young and not white then they are not smart. If someone is white then they are smart. All young, kind people are smart. If Anne is nice and Anne is not cold then Anne is not smart. If someone is smart and young then they are kind. If Anne is kind and Anne is white then Anne is round.
Anne is not cold.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is not young.[(triple7)] Anne is round.[(triple4 OR ((triple2 triple6) -> rule6))] Anne is smart.[(triple5 OR ((triple6) -> rule2))] Anne is white.[(triple6)]