https://123dok.net/document/yd27356q-soundness-semantic-trees-classical-logic-based-fitting-smullyan.html