Anne is blue. Anne is cold. Anne is furry. Anne is nice. Anne is red. Anne is not smart. Anne is young. Bob is cold. Bob is furry. Bob is nice. Bob is not smart. Bob is young. Dave is red. Erin is furry. Erin is red. Erin is young. If Erin is young and Erin is furry then Erin is cold. If someone is cold then they are nice. If Dave is not smart and Dave is not nice then Dave is not young.
Dave is furry.