Charlie is cold. Charlie is nice. Charlie is red. Charlie is smart. Charlie is white. Dave is cold. Dave is nice. Dave is smart. Dave is white. Gary is cold. If Charlie is smart then Charlie is blue. All red, cold people are smart.
Gary is white.