Anne is cold. Anne is red. Dave is not quiet. Erin is cold. Erin is nice. Fiona is cold. Fiona is smart. If someone is furry then they are smart. If someone is not quiet then they are furry. All green, smart people are not cold. Smart, nice people are red. Cold people are furry. If Erin is not furry then Erin is not smart.
Dave is not smart.