Anne is red. Anne is round. Anne is young. Charlie is kind. Charlie is smart. Charlie is young. Dave is kind. Dave is quiet. Dave is red. Dave is smart. Red people are round. If Anne is young then Anne is big. Smart people are red. All kind, red people are quiet. All quiet, smart people are young. All smart people are young.
Anne is not quiet.