Charlie is big. Charlie is kind. Charlie is nice. Charlie is red. Charlie is white. Dave is big. Dave is blue. Dave is kind. Dave is red. Dave is white. Erin is blue. Erin is red. Kind, red people are white. Smart people are kind. Kind people are big. All big, smart people are white. Red people are smart. All big people are nice.
Erin is not kind.