あの公開鍵暗号方式は現わる
fact1: この総合立地計画はでっかくて経 fact2: もしこの総合立地計画がねちっこいならあの公開鍵暗号方式は現わる fact3: 仮に何らかのものがでっかいならばそれはねちっこい fact4: この総合立地計画はねちっこくないとすれば「それはでっかくないしかつ経ということはない」ということは間違っている
fact1 -> int1: この総合立地計画はでっかい; fact3 -> int2: この総合立地計画がでっかいとしたらねちっこい; int1 & int2 -> int3: 「この総合立地計画はねちっこい」ということは成り立つ; int3 & fact2 -> hypothesis;
あの公開鍵暗号方式は現わるということはない
$facts$ = fact1: この総合立地計画はでっかくて経 fact2: もしこの総合立地計画がねちっこいならあの公開鍵暗号方式は現わる fact3: 仮に何らかのものがでっかいならばそれはねちっこい fact4: この総合立地計画はねちっこくないとすれば「それはでっかくないしかつ経ということはない」ということは間違っている ; $hypothesis$ = あの公開鍵暗号方式は現わる ; $proof$ = 
fact1 -> int1: この総合立地計画はでっかい; fact3 -> int2: この総合立地計画がでっかいとしたらねちっこい; int1 & int2 -> int3: 「この総合立地計画はねちっこい」ということは成り立つ; int3 & fact2 -> hypothesis; __PROVED__
事実1: この総合立地計画はでっかくて経
事実2: もしこの総合立地計画がねちっこいならあの公開鍵暗号方式は現わる
事実3: 仮に何らかのものがでっかいならばそれはねちっこい
事実4: この総合立地計画はねちっこくないとすれば「それはでっかくないしかつ経ということはない」ということは間違っている

仮説: あの公開鍵暗号方式は現わる
1. 事実1から、推論1: "この総合立地計画はでっかい"が導かれる
2. 事実3から、推論2: "この総合立地計画がでっかいとしたらねちっこい"が導かれる
3. 推論1と推論2から、推論3: "「この総合立地計画はねちっこい」ということは成り立つ"が導かれる
4. 推論3と事実2から、仮説が導かれる

よって、仮説が証明されました。