Charlie is not big. Charlie is furry. Charlie is not kind. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is round. Dave is kind. Dave is quiet. Dave is red. Dave is round. Gary is big. Gary is kind. Gary is nice. Gary is quiet. Gary is red. If someone is big then they are quiet. If someone is not round then they are furry. If Dave is red and Dave is furry then Dave is big. If someone is kind and furry then they are nice. If someone is quiet then they are furry. If someone is nice and not furry then they are kind. If someone is not furry then they are nice. If someone is kind and not furry then they are not red.
Charlie is not red.