Anne is not big. Anne is blue. Anne is cold. Anne is furry. Anne is not quiet. Anne is smart. Anne is white. If Anne is cold and Anne is not big then Anne is white.
Anne is not blue.
@0: Anne is blue.[(triple2)] Anne is cold.[(triple3)] Anne is furry.[(triple4)] Anne is not big.[(triple1)] Anne is not quiet.[(triple5)] Anne is smart.[(triple6)] Anne is white.[(triple7 OR ((triple3 triple1) -> rule1))]