Anne is furry. Anne is kind. Anne is white. Charlie is round. Erin is big. Erin is kind. Gary is big. All big people are white. If someone is round then they are red. If someone is quiet and big then they are furry. If someone is red and white then they are quiet. White people are big. All white people are round. Furry, quiet people are big. Kind, big people are quiet. All white, red people are quiet.
Erin is not red.