Bsp. aus der Logik / künstlichen Intelligenz für widersprüchliche Aussagen aus Allsätzen. Kann durch Nichtmonotone Logiken gelöst werden.