Itt nem arrol van szo, hogy nem tudtak bebizonyitani (kukacoskodas: magara barmit is ado termeszettudos nem beszel bizonyitasrol, mivel tt elmeleteket nem bizonyitanak (mivel ez lehetetlen), csak arrol, hogy egy adott kiserlet egy elmeletet alatamaszt vagy cafol (es igen, jol latod, ennek kovetkezteben termeszettudomanyos szempontbol osszesen ketfele teoria letezik: a "lehet, hogy igaz", meg a "tutira nem igaz" - "tutira igaz" nincs)), hanem arrol, hogy az adott allitasokat cafoltak, amivel a hozzatartozo elmelet atkerult a "tutira nem igaz" kategoriaba.