Charlie is cold. Charlie is nice. Charlie is quiet. Dave is cold. Dave is green. Dave is kind. Dave is nice. Dave is not quiet. Dave is rough. Gary is not cold. Gary is kind. Gary is not nice. Gary is quiet. Gary is rough. Gary is white. If something is quiet and nice then it is not kind. All rough things are kind. If something is not cold then it is green. If something is not rough then it is quiet. If Gary is quiet and Gary is rough then Gary is green. Green, cold things are not white. If something is not green then it is white. If something is nice and not white then it is kind.
Charlie is not green.