Charlie is nice. Charlie is red. Charlie is not white. Charlie is young. Dave is big. Dave is young. Erin is big. Erin is green. Erin is nice. Erin is rough. Erin is white. Erin is not young. White people are green. All green, big people are red. If Erin is big and Erin is white then Erin is not young. If someone is big then they are white. If Charlie is big then Charlie is red. If someone is young then they are red. White, young people are red. If Charlie is big and Charlie is nice then Charlie is young.
Charlie is not green.