Charlie is big. Charlie is nice. Charlie is red. Charlie is not rough. Dave is big. Dave is furry. Dave is nice. Dave is rough. Dave is round. Gary is big. Gary is furry. Gary is kind. Gary is nice. Gary is red. Gary is rough. Gary is round. Kind, red people are big. If someone is red then they are round. Round people are kind. All red people are kind. All rough, round people are kind. If someone is not red then they are kind. If someone is furry and not red then they are kind. If someone is not kind and not nice then they are rough.
Gary is not round.