Anne is quiet. Anne is not round. Anne is not young. Dave is big. Dave is furry. Dave is green. Dave is round. Big things are green. All quiet things are big. If something is not blue then it is big. Blue, big things are round. If something is furry then it is round. Green things are quiet. If something is not round then it is big. If something is not big then it is not round.
Anne is not green.