I have built an LLM Engine, That tracks SOTA Models hallucinating over basic Logical Reasoning that can be solved through Quine-McClusky method mathematically. I am using it to build diverse use cases.Let me know if you want me to try it out on something.