Anne is blue. Anne is cold. Anne is kind. Anne is smart. Anne is not white. Anne is young. Charlie is cold. Charlie is kind. Dave is cold. Dave is not white. Gary is not blue. Gary is round. Gary is smart. Gary is not white. Gary is young. If someone is smart and not cold then they are not kind.
Charlie is kind.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is kind.[(triple3)] Anne is not white.[(triple5)] Anne is smart.[(triple4)] Anne is young.[(triple6)] Charlie is cold.[(triple7)] Charlie is kind.[(triple8)] Dave is cold.[(triple9)] Dave is not white.[(triple10)] Gary is not blue.[(triple11)] Gary is not white.[(triple14)] Gary is round.[(triple12)] Gary is smart.[(triple13)] Gary is young.[(triple15)]