「あのＭＡＩＮメソッドは比較し難い」ということは本当である
fact1: 仮に「この知識寺は比較し難くないしまた子供っぽくない」ということは偽ならばあのＭＡＩＮメソッドは比較し難くない fact2: あのＭＡＩＮメソッドは子供っぽい一方で国営企業でない fact3: 仮になんらかの物は子供っぽいならば「それは最もらしいし流行り出さない」ということは誤りである fact4: 仮に「なにかは最もらしいけど流行り出さない」ということは偽であるとしたらそれは比較し難い
fact3 -> int1: あのＭＡＩＮメソッドは子供っぽいとしたら「それは最もらしいしまた流行り出さない」ということは成り立たない; fact2 -> int2: あのＭＡＩＮメソッドは子供っぽい; int1 & int2 -> int3: 「あのＭＡＩＮメソッドは最もらしいけれどそれは流行り出すということはない」ということは間違っている; fact4 -> int4: 仮に「あのＭＡＩＮメソッドは最もらしいがしかし流行り出さない」ということは真実でないとすれば比較し難い; int3 & int4 -> hypothesis;
あのＭＡＩＮメソッドは比較し難くない
$facts$ = fact1: 仮に「この知識寺は比較し難くないしまた子供っぽくない」ということは偽ならばあのＭＡＩＮメソッドは比較し難くない fact2: あのＭＡＩＮメソッドは子供っぽい一方で国営企業でない fact3: 仮になんらかの物は子供っぽいならば「それは最もらしいし流行り出さない」ということは誤りである fact4: 仮に「なにかは最もらしいけど流行り出さない」ということは偽であるとしたらそれは比較し難い ; $hypothesis$ = 「あのＭＡＩＮメソッドは比較し難い」ということは本当である ; $proof$ = 
fact3 -> int1: あのＭＡＩＮメソッドは子供っぽいとしたら「それは最もらしいしまた流行り出さない」ということは成り立たない; fact2 -> int2: あのＭＡＩＮメソッドは子供っぽい; int1 & int2 -> int3: 「あのＭＡＩＮメソッドは最もらしいけれどそれは流行り出すということはない」ということは間違っている; fact4 -> int4: 仮に「あのＭＡＩＮメソッドは最もらしいがしかし流行り出さない」ということは真実でないとすれば比較し難い; int3 & int4 -> hypothesis; __PROVED__
事実1: 仮に「この知識寺は比較し難くないしまた子供っぽくない」ということは偽ならばあのＭＡＩＮメソッドは比較し難くない
事実2: あのＭＡＩＮメソッドは子供っぽい一方で国営企業でない
事実3: 仮になんらかの物は子供っぽいならば「それは最もらしいし流行り出さない」ということは誤りである
事実4: 仮に「なにかは最もらしいけど流行り出さない」ということは偽であるとしたらそれは比較し難い

仮説: 「あのＭＡＩＮメソッドは比較し難い」ということは本当である
1. 事実3から、推論1: "あのＭＡＩＮメソッドは子供っぽいとしたら「それは最もらしいしまた流行り出さない」ということは成り立たない"が導かれる
2. 事実2から、推論2: "あのＭＡＩＮメソッドは子供っぽい"が導かれる
3. 推論1と推論2から、推論3: "「あのＭＡＩＮメソッドは最もらしいけれどそれは流行り出すということはない」ということは間違っている"が導かれる
4. 事実4から、推論4: "仮に「あのＭＡＩＮメソッドは最もらしいがしかし流行り出さない」ということは真実でないとすれば比較し難い"が導かれる
5. 推論3と推論4から、仮説が導かれる

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