Anne is big. Anne is blue. Anne is cold. Anne is furry. Anne is green. Anne is quiet. Anne is smart. Charlie is not furry. Charlie is smart. Dave is big. Dave is cold. Dave is green. Dave is not quiet. Dave is smart. Erin is big. Erin is green. If Dave is quiet and Dave is blue then Dave is big. If something is furry and not quiet then it is blue.
Erin is not blue.