Anne is big. Anne is blue. Anne is not cold. Anne is green. Anne is nice. Anne is quiet. Dave is green. Dave is quiet. Erin is big. Erin is blue. Erin is cold. Erin is green. Erin is nice. Erin is quiet. Erin is red. If someone is big and red then they are green. If Dave is red and Dave is quiet then Dave is not cold. If Dave is cold and Dave is nice then Dave is quiet. Quiet, cold people are red. If someone is green and not nice then they are big. If someone is nice and not big then they are blue.
Dave is not red.