https://thelogictutorial.blogspot.com/2024/05/theory-of-inference-in-discrete.html