Обично је негативне тврдње немогуће доказати у незатвореним системима. На пример, у математици, тврђење: "Елемент A не припада скупу B" би било могуће доказати или оповрћи, под условом да нам је познат скуп B и елемент A. Међутим, ако је скуп B дефинисан као скуп свих људи који се тренутно налазе на територији Србије, он нам сам по себи није познат у потпуности, а пошто је елемент A Ратко Младић чије нам битно својство (локација) није познато, тврђење је немогуће ни доказати ни оповрћи или док се: 1) не утврди тачна Младићева локација и 2) не утврди савршено поуздан метод детекције и идентификације сваког човека на сваком квадратном метру ове територије, укључујући и затворене грађевине и подземне просторе. Због оваквих примера је и утврђена презумпција невиности или презумпција важења одређене, вероватније тврдње, док се недвосмислено не докаже супротно.
Тврђење 2. би било могуће доказати помоћним тврђењем, да драко-људи не постоје, па сходно томе ниједан никада није ушао у твоју кућу. Али и то тврђење је опет негативно, али га можемо прихватити као тачно на основу емпирије. За Ратка Младића имамо доказ да постоји такав ентитет, док за драко-људе немамо апсолутно никакав доказ да они уопште и постоје, већ су у рангу кентаура или богова са Олимпа. Ако се можемо сложити да драко-људи не постоје, односно да њихово постојање никада није утврђено, једино онда можемо тврђење 2. узети као тачно.
Тврђење 3. је апсолутно немогуће доказати, осим у два случаја: 1) ако је дефиниција планете X противречна унутар себе (на пример, ако је одредимо као планету земљиног типа, са атмосферским притиском од 100 kPa, спољном температуром од 350°C, а богатом воденим површинама у виду река, мора и океана); 2) ако бисмо имали савршено поуздан механизам претраживања тренутног стања читавог свемира.
Тврђење 4. је могуће само делимично оспорити и то једино ако се њиме сугерише да је Швабов нови спаситељ једино због тога што је директан потомак Исуса Христа. У том случају, пошто не постоје индиректни потомци, можемо закључити да таквих потомака Исуса Христа има на хиљаде или милионе, осим ако се не докаже да су сви Швабовљеви преци по Христовој линији током 200 година искључиво били једино дете у породици које је остављало потомство. Иначе, то тврђење тиме што је недоказиво, не значи да Швабов јесте Христов потомак и нови спаситељ, већ да немамо доказе ни да јесте ни да није.
Занимљива тема.
Na osnovu dokaza vise specificnih tvrdnji moze se primetiti sablon pomocu kojeg se moze uvideti opsti metod za dokazivanje negativnih tvrdnji.
