Earlier quoted context omitted.
you wouldn't write in English, you'd write it in Lisp.
Do you know of any examples of actual legal documents written in Lisp, or some other formal language?
Certain laws are very cut-and-dry (speeding for instance) and perhaps laws could be proven on a functional basis.
You could even make it axiomatic from the constitution and declaration of independence.
Of course, you'd need to define the axiomatic meaning of things like 'the right of the people to keep and bear arms shall not be infringed' - which is hard to do even with such simple language.
And then after loading the axioms, you'd spend a lifetime going through errors in the existing laws.