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