Első logikus: A Mikulás létezik, ha nem tévedek. Második logikus: Ha nem téved. Első logikus: Tehát állításom igaz. Második logikus: Természetesen! Első logikus: Akkor hát nem tévedtem, és Ön elismerte, hogy ha nem tévedek, akkor a Mikulás létezik. Tehát a Mikulás létezik.