Anne is big. Charlie is furry. Charlie is not kind. Charlie is nice. Dave is big. Dave is furry. Dave is kind. Dave is not white. Erin is big. Erin is kind. If something is furry and not big then it is green.
Anne is cold.
@0: Anne is big.[(triple1)] Charlie is furry.[(triple2)] Charlie is nice.[(triple4)] Charlie is not kind.[(triple3)] Dave is big.[(triple5)] Dave is furry.[(triple6)] Dave is kind.[(triple7)] Dave is not white.[(triple8)] Erin is big.[(triple9)] Erin is kind.[(triple10)]