「ぁゃιぃ住人は男だけ」という命題はその対偶「男でないものはぁゃιぃ住人でない」と同値であるので、
「ぁゃιぃ住人は男だけ」事を証明するには「男でないものはぁゃιぃ住人でない」事を証明すれば良い。
そして「男でないものはぁゃιぃ住人でない」という命題は、世界中の男でないものを順に調べ、それらの中に一つもぁゃιぃ住人がいない事をチェックすれば証明する事ができる。
こうして、ぁゃιぃ住人を一人も調べる事無く、「ぁゃιぃ住人は男だけ」という事実が証明できてしまう。