Bob is red. Charlie is big. Charlie is blue. Dave is kind. Harry is green. Harry is red. Harry is white. Green, big people are furry. All kind, big people are red. If someone is red then they are big. If someone is green then they are blue. Green, white people are kind. If someone is green then they are furry. Red, big people are green. All furry, blue people are white.
Charlie is not kind.