https://kotugysoviqetukuj.bextselfreset.com/resolution-based-theorem-prover-book-20351ff.php