Anne is red. Charlie is big. Dave is not green. Erin is furry. If Charlie is kind and Charlie is red then Charlie is not white. If Erin is white and Erin is not green then Erin is not big. Kind people are white. If someone is green and red then they are kind. All big people are not kind. If someone is green and red then they are furry.
Dave is green.