「この御噂は作り難くないけどそれは呼び易い」ということは偽だ
fact1: もし仮にこの御噂が築地本願寺であるならばその心嚢内圧は築地本願寺だ fact2: もし仮になんらかの物は外相でないとすると築地本願寺だということはないが分厚い fact3: もし仮にある物は築地本願寺だとすれば「呼び易いということはないししかも書き難い」ということは偽である fact4: 「「この御噂は作り難くないけど呼び易い」ということは成り立たない」ということは成り立つ fact5: もし「なにかは外相だがしかし御迎え出来ない」ということは成り立たないとしたらそれは外相でない fact6: もし仮に何らかのものが築地本願寺だということはないとすると作り難くなくて更にそれは呼び易い
fact4 -> hypothesis;
この御噂は作り難くないけどそれは呼び易い
fact9 -> int1: もし仮にこの御噂が築地本願寺でないとしたらそれは作り難くないしそれは呼び易い; fact8 -> int2: この御噂が外相でないとすれば築地本願寺でないがしかし分厚い; fact7 -> int3: もし仮に「この御噂は外相だけれど御迎え出来ない」ということは誤っているとすると「それは外相でない」ということは本当だ;
$facts$ = fact1: もし仮にこの御噂が築地本願寺であるならばその心嚢内圧は築地本願寺だ fact2: もし仮になんらかの物は外相でないとすると築地本願寺だということはないが分厚い fact3: もし仮にある物は築地本願寺だとすれば「呼び易いということはないししかも書き難い」ということは偽である fact4: 「「この御噂は作り難くないけど呼び易い」ということは成り立たない」ということは成り立つ fact5: もし「なにかは外相だがしかし御迎え出来ない」ということは成り立たないとしたらそれは外相でない fact6: もし仮に何らかのものが築地本願寺だということはないとすると作り難くなくて更にそれは呼び易い ; $hypothesis$ = 「この御噂は作り難くないけどそれは呼び易い」ということは偽だ ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: もし仮にこの御噂が築地本願寺であるならばその心嚢内圧は築地本願寺だ
事実2: もし仮になんらかの物は外相でないとすると築地本願寺だということはないが分厚い
事実3: もし仮にある物は築地本願寺だとすれば「呼び易いということはないししかも書き難い」ということは偽である
事実4: 「「この御噂は作り難くないけど呼び易い」ということは成り立たない」ということは成り立つ
事実5: もし「なにかは外相だがしかし御迎え出来ない」ということは成り立たないとしたらそれは外相でない
事実6: もし仮に何らかのものが築地本願寺だということはないとすると作り難くなくて更にそれは呼び易い

仮説: 「この御噂は作り難くないけどそれは呼び易い」ということは偽だ
1. 事実4から、仮説が導かれる

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