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