Anne is blue. Anne is cold. Anne is furry. Anne is not kind. Anne is quiet. Anne is not red. Anne is young. Dave is cold. Dave is kind. Dave is quiet. Dave is not red. Dave is young. Erin is blue. Erin is quiet. Erin is red. Erin is not young. If something is not kind then it is furry. If Erin is young and Erin is cold then Erin is red.
Dave is not furry.