Wie gesagt es geht um Logik. Ein Programm kann nicht ahnen was du meinst oder Thesen aufstellen was du für überflüssig hälst. Es kann immer nur klar definierten Regeln folgen und die müssen einer einfachen definierten Logik folgen.

Diese ist schon für uns nicht erkennbar.