Charlie is blue. Charlie is not green. Charlie is red. Charlie is not smart. Charlie is white. Dave is red. Erin is cold. Erin is green. Erin is not red. Erin is smart. Erin is white. Gary is not blue. Gary is not green. Gary is not red. Gary is not rough. Gary is white. All rough, red people are not smart. If someone is red then they are rough. If someone is cold and not smart then they are not blue.
Dave is not smart.