Bob is cold. Bob is smart. Bob is not white. Charlie is blue. Charlie is smart. Charlie is not white. Dave is not cold. Dave is not kind. Dave is red. Dave is white. Dave is young. Erin is blue. Erin is kind. Erin is red. Erin is white. Erin is young. White people are red. If Erin is blue and Erin is smart then Erin is white. Smart people are not red.
Dave is not young.