Anne is nice. Anne is red. Anne is rough. Anne is white. Anne is young. Charlie is nice. Charlie is rough. Charlie is white. Charlie is young. Erin is white. Harry is nice. Harry is quiet. Harry is rough. Harry is young. If something is furry then it is rough. If something is white then it is furry. Rough things are nice. If something is young then it is white. If something is rough and not young then it is white. If something is rough and nice then it is quiet. All white, quiet things are red. All red, quiet things are furry. If something is furry and not quiet then it is white.
Erin is not red.