Charlie is furry. Charlie is green. Charlie is not nice. Charlie is white. Dave is big. Dave is green. Dave is red. Erin is big. Erin is furry. Erin is white. Rough things are not red. All red things are nice. If Erin is white then Erin is green. Nice, red things are white. All rough things are nice. All green things are furry. All big things are white. If something is white and not green then it is rough.
Charlie is green.