そのニュートラムは助勢する
fact1: 仮に「その倫敦塔は負極表面だし加えて書き終える」ということは事実と異なるとしたらそれは書き終えるということはない fact2: もしなにがしかのものは書き終えれば「「それは蛋白質量であるということはなくて加えてそれは劣らない」ということは事実である」ということは成り立たない fact3: もしもとあるものが蛋白質量でない一方で劣るとすればそれは助勢しない fact4: 仮に「その倫敦塔は視察者だ」ということは成り立てばそのニュートラムは助勢する fact5: もし仮にその倫敦塔が蛋白質量だとすると劣る fact6: 「その倫敦塔は負極表面であるし更に書き終える」ということは成り立たない fact7: 「何かは這わすしその上助勢する」ということは誤っていれば助勢しない fact8: もし仮になにがしかの物は劣らない一方で蛋白質量ならば助勢する fact9: もし仮にそのニュートラムがしおらしいとすればあの倫敦塔は助勢する fact10: しおらしい物は視察者である fact11: もしもなにがしかのものは書き終えないけど劣るとするとそれはしおらしい fact12: その倫敦塔は蛋白質量である
fact5 & fact12 -> int1: その倫敦塔は劣る; fact1 & fact6 -> int2: その倫敦塔は書き終えない; int1 & int2 -> int3: その倫敦塔は書き終えるということはない一方で劣る; fact11 -> int4: 仮にその倫敦塔が書き終えるということはない一方で劣るとすると「しおらしい」ということは成り立つ; int3 & int4 -> int5: その倫敦塔はしおらしい; fact10 -> int6: その倫敦塔がしおらしいとすると視察者だ; int5 & int6 -> int7: その倫敦塔は視察者だ; int7 & fact4 -> hypothesis;
そのニュートラムは助勢するということはない
fact13 -> int8: もしそのニュートラムが蛋白質量でないが劣るとすれば助勢しない;
$facts$ = fact1: 仮に「その倫敦塔は負極表面だし加えて書き終える」ということは事実と異なるとしたらそれは書き終えるということはない fact2: もしなにがしかのものは書き終えれば「「それは蛋白質量であるということはなくて加えてそれは劣らない」ということは事実である」ということは成り立たない fact3: もしもとあるものが蛋白質量でない一方で劣るとすればそれは助勢しない fact4: 仮に「その倫敦塔は視察者だ」ということは成り立てばそのニュートラムは助勢する fact5: もし仮にその倫敦塔が蛋白質量だとすると劣る fact6: 「その倫敦塔は負極表面であるし更に書き終える」ということは成り立たない fact7: 「何かは這わすしその上助勢する」ということは誤っていれば助勢しない fact8: もし仮になにがしかの物は劣らない一方で蛋白質量ならば助勢する fact9: もし仮にそのニュートラムがしおらしいとすればあの倫敦塔は助勢する fact10: しおらしい物は視察者である fact11: もしもなにがしかのものは書き終えないけど劣るとするとそれはしおらしい fact12: その倫敦塔は蛋白質量である ; $hypothesis$ = そのニュートラムは助勢する ; $proof$ = 
fact5 & fact12 -> int1: その倫敦塔は劣る; fact1 & fact6 -> int2: その倫敦塔は書き終えない; int1 & int2 -> int3: その倫敦塔は書き終えるということはない一方で劣る; fact11 -> int4: 仮にその倫敦塔が書き終えるということはない一方で劣るとすると「しおらしい」ということは成り立つ; int3 & int4 -> int5: その倫敦塔はしおらしい; fact10 -> int6: その倫敦塔がしおらしいとすると視察者だ; int5 & int6 -> int7: その倫敦塔は視察者だ; int7 & fact4 -> hypothesis; __PROVED__
事実1: 仮に「その倫敦塔は負極表面だし加えて書き終える」ということは事実と異なるとしたらそれは書き終えるということはない
事実2: もしなにがしかのものは書き終えれば「「それは蛋白質量であるということはなくて加えてそれは劣らない」ということは事実である」ということは成り立たない
事実3: もしもとあるものが蛋白質量でない一方で劣るとすればそれは助勢しない
事実4: 仮に「その倫敦塔は視察者だ」ということは成り立てばそのニュートラムは助勢する
事実5: もし仮にその倫敦塔が蛋白質量だとすると劣る
事実6: 「その倫敦塔は負極表面であるし更に書き終える」ということは成り立たない
事実7: 「何かは這わすしその上助勢する」ということは誤っていれば助勢しない
事実8: もし仮になにがしかの物は劣らない一方で蛋白質量ならば助勢する
事実9: もし仮にそのニュートラムがしおらしいとすればあの倫敦塔は助勢する
事実10: しおらしい物は視察者である
事実11: もしもなにがしかのものは書き終えないけど劣るとするとそれはしおらしい
事実12: その倫敦塔は蛋白質量である

仮説: そのニュートラムは助勢する
1. 事実5と事実12から、推論1: "その倫敦塔は劣る"が導かれる
2. 事実1と事実6から、推論2: "その倫敦塔は書き終えない"が導かれる
3. 推論1と推論2から、推論3: "その倫敦塔は書き終えるということはない一方で劣る"が導かれる
4. 事実11から、推論4: "仮にその倫敦塔が書き終えるということはない一方で劣るとすると「しおらしい」ということは成り立つ"が導かれる
5. 推論3と推論4から、推論5: "その倫敦塔はしおらしい"が導かれる
6. 事実10から、推論6: "その倫敦塔がしおらしいとすると視察者だ"が導かれる
7. 推論5と推論6から、推論7: "その倫敦塔は視察者だ"が導かれる
8. 推論7と事実4から、仮説が導かれる

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