Anne is quiet. Charlie is green. Charlie is quiet. Dave is furry. Dave is round. Gary is big. Gary is not blue. Gary is green. Gary is nice. Gary is round. If Anne is quiet then Anne is big. If something is not furry then it is big. If Anne is furry then Anne is not green. If something is nice and not furry then it is green. If something is round and green then it is big. If something is quiet then it is green. Nice things are not quiet. All big, blue things are round.
Anne is not round.