Anne is big. Anne is young. Charlie is big. Charlie is green. Charlie is round. Dave is big. Dave is round. If someone is young then they are big. All big, young people are round. All kind people are young.
Charlie is not round.