Charlie is big. Charlie is red. Charlie is young. Dave is kind. Erin is quiet. Erin is red. Erin is not rough. If something is kind then it is not red. All quiet, young things are red.
Dave is not kind.