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