Anne is cold. Anne is red. Anne is not smart. Anne is white. Charlie is cold. Charlie is red. Dave is cold. Dave is white. Dave is young. Erin is blue. Erin is cold. Erin is green. Erin is red. Erin is smart. Erin is white. If Dave is white then Dave is green. If something is blue then it is smart. If something is green then it is blue.
Charlie is blue.