[cyphar]

There are a near-infinite set of complexities in legal cases. Trying to create a formalism for such laws would require solving the entire field of ethics to decide at which point something might be considered "reasonable doubt".

[wolfgke]

> to decide at which point something might be considered "reasonable doubt".

As far as I know this is a mostly done problem (google "statistics").

[cyphar]

I don't think you understand what "reasonable doubt" means in a legal setting (Google "reasonable doubt").