https://9dok.net/document/q7w7jvjv-aufgabe-beweisen-pr-adikatenlogischen-resolutionskalk-fol-gende-aussage.html