Charlie is nice. Charlie is white. Dave is furry. Dave is green. Dave is red. Erin is big. Erin is furry. Erin is red. Erin is white. Harry is green. Harry is white. All nice, big things are young. If something is white and red then it is furry. Furry things are young. If Dave is green and Dave is white then Dave is big. All green, white things are big. If something is big and young then it is red. If something is nice then it is green. If something is not white and not green then it is young. If something is not young then it is big.
Erin is green.