Charlie is not big. Charlie is red. Charlie is round. Charlie is smart. Charlie is young. Dave is big. Dave is furry. Dave is kind. Dave is red. Dave is round. Dave is not smart. Dave is not young. If someone is not young then they are kind. If someone is kind then they are round. If someone is smart and not young then they are red.
Charlie is not kind.