https://9dok.net/document/q7w7pd7o-pr-adikatenlogische-resolution.html