https://bapybynuxaca.furniture-of-ironforge.com/deductive-reasoning-in-natural-language-book-24110rn.php