Charlie is blue. Charlie is green. Charlie is kind. Charlie is red. Dave is blue. Erin is green. Erin is young. All kind, young people are round. If someone is young and round then they are red. If Dave is green and Dave is round then Dave is furry. Red people are young. All blue, round people are red. All young people are kind. Round people are red. Green people are blue.
Erin is not young.