I wanted to add more value to this comment about monetisation - regardless if that's doable or not, it's an extremely cool project!!

What if you could sell the data for each argument? That might be valuable to LLM labs, because then you can essentially guarantee that every single argument you provide is human checked, and you could accumulate a large DB of those. Of course you'll never be able to capture every single argument possible, but it's rather a mechanism that would allow incremental improvement with time. But codifying logic and natural language is a very nice idea.