Bob is cold. Bob is red. Bob is rough. Charlie is big. Charlie is rough. Dave is big. Dave is nice. Dave is red. Dave is white. Gary is big. Gary is cold. Gary is kind. Gary is nice. Gary is red. Gary is white. Nice, cold things are big. All cold things are kind. If something is white then it is rough. If Charlie is rough then Charlie is white. If something is cold then it is big. If something is big then it is white.
Charlie is not kind.