Charlie is big. Charlie is cold. Charlie is smart. Charlie is white. Dave is big. Dave is cold. Dave is red. Erin is cold. Erin is red. Erin is rough. Erin is not round. Gary is cold. Big, rough things are not red. All rough things are white. If something is cold and not white then it is smart.
Gary is red.