https://9dok.net/document/q2no9d96-section-nonmonotonic-inference-relations-subsection-inference-relations.html