Anne is not blue. Anne is cold. Anne is kind. Anne is quiet. Anne is round. Anne is white. Anne is young. If something is young and kind then it is white. If something is white and young then it is round.
Anne is not white.
@0: Anne is cold.[(triple2)] Anne is kind.[(triple3)] Anne is not blue.[(triple1)] Anne is quiet.[(triple4)] Anne is round.[(triple5 OR ((triple6 triple7) -> rule2) OR ((((triple7 triple3) -> rule1) triple7) -> rule2))] Anne is white.[(triple6 OR ((triple7 triple3) -> rule1))] Anne is young.[(triple7)]