Anne is young. Dave is cold. Dave is furry. Dave is green. Dave is smart. Erin is green. Erin is not smart. Gary is blue. Gary is green. Gary is young. All green, cold people are young. If someone is not furry then they are kind. If Anne is blue and Anne is young then Anne is smart. If someone is furry then they are cold. Cold, young people are green. All kind people are cold. If someone is green then they are blue. If someone is not green and not cold then they are blue. If someone is blue and not cold then they are kind.
Erin is not furry.