# 4.1.6. Ellenőrzés cáfoló ellenpéldával Ellenőrizzük az alábbi következtetést a második alakzatból! Minden földönkívüli szuperintelligens. Némely CIA-ügynök szuperintelligens. Tehát: Némely CIA-ügynök földönkívüli. A következtetés helytelenségét a következő példa mutatja: Minden kettő-hatvány páros. Némely öttel osztható szám páros. Tehát: Némely öttel osztható szám kettő-hatvány. A példa konklúziója hamis, két premisszája viszont igaz; tehát helytelen következtetés. Ugyanakkor ez a második következtetés csak a három terminusban, tehát nem-logikai összetevőiben különbözik az elsőtől; mindkettő a Minden A B. Némely C B. Tehát: Némely C A. sémába illeszkedik. Vagyis, ha a második helytelen, szükségképpen az első is helytelen.