I find it's more difficult to prove things about natural language than about well-defined specified languages (eg, computer languages). Sometimes a good counter-example is the clearest proof of all. A demonstration of your point can be more practical than a formal proof of it.
English (the natural language) is ambiguous, but it can be very meticulous to formally prove that. Even if you try, a skeptic can just refuse to understand your proof and accuse you of hand-waving tactics and smoke-and-mirror tricks. However, a sentence like "You can't have too much chocolate" very quickly demonstrates the ambiguity. Does that mean:
- You must limit the amount of chocolate you have to some threshold ("not too much").
- No amount of chocolate is too much.
If you think it has a cut and dry meaning; ask 10 of your friends to paraphrase that sentence and see how it splits.
(p.s. It's post like these that led me to have a "random" category 🙂 )