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