Anne is big. Anne is blue. Anne is cold. Anne is furry. Anne is nice. Anne is not smart. Anne is young. If Anne is smart then Anne is not furry.
Anne is not big.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is cold.[(triple3)] Anne is furry.[(triple4)] Anne is nice.[(triple5)] Anne is not smart.[(triple6)] Anne is young.[(triple7)]