Anne is green. Anne is kind. Anne is red. Anne is round. Charlie is kind. Charlie is white. Dave is blue. Dave is kind. Dave is not white. Dave is not young. If something is young then it is kind. If something is young and green then it is not kind. If something is green and not red then it is kind.
Anne is blue.
@0: Anne is green.[(triple1)] Anne is kind.[(triple2)] Anne is red.[(triple3)] Anne is round.[(triple4)] Charlie is kind.[(triple5)] Charlie is white.[(triple6)] Dave is blue.[(triple7)] Dave is kind.[(triple8)] Dave is not white.[(triple9)] Dave is not young.[(triple10)]