Anne is big. Anne is cold. Anne is green. Anne is nice. Anne is white. Dave is nice. Dave is white. If someone is big and red then they are kind.
Anne is not white.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is green.[(triple3)] Anne is nice.[(triple4)] Anne is white.[(triple5)] Dave is nice.[(triple6)] Dave is white.[(triple7)]