Charlie is blue. Charlie is kind. Charlie is smart. Dave is big. Dave is blue. Dave is cold. Dave is kind. Dave is quiet. Dave is smart. Dave is white. If someone is kind then they are quiet. If someone is smart then they are big. If someone is kind and quiet then they are white.
Dave is not blue.