Charlie is big. Charlie is red. Charlie is young. Dave is red. Erin is green. Erin is young. Harry is green. Red people are green. All kind, red people are smart. If Dave is smart then Dave is rough. If someone is green then they are big. All big, kind people are red. All big people are kind. If Harry is red and Harry is smart then Harry is young. If someone is smart and not big then they are red. If someone is big and not young then they are red.
Erin is green.