Anne is red. Anne is white. Bob is cold. Bob is not furry. Bob is not green. Bob is red. Bob is rough. Bob is smart. Bob is not white. Dave is furry. Dave is rough. Erin is cold. Erin is not furry. Erin is red. Erin is not smart. If Erin is smart and Erin is not cold then Erin is red. If someone is cold and not rough then they are red.
Dave is not red.