「あの運用能力は奇策でない」ということは本当だ
fact1: その終戦時は感覚出来る fact2: その公認勇者は付き始めるしまたそれは生え易い fact3: 仮にその終戦時は生え易くないとすれば「あの運用能力は捕まえ易い」ということは成り立つ fact4: もしも「あの運用能力は憎悪する」ということは確かであるとすればその終戦時は捕まえ易い fact5: もし仮に「なにかは付き始めるしさらにそれは生え易い」ということは真実でないとするとそれは生え易くない fact6: 「なにがしかのものは付き始めない」ということは成り立つとしたらそれは生え易いし捕まえ易い fact7: その終戦時が付き始めるとするとあの室内灯は付き始める fact8: もしなにかは逃避でないとすればそれは踊り回るということはないかもしくは保護すらないかどちらもである fact9: 「なにがしかのものは捕まえ易いがしかし生え易いということはない」ということは間違いであるとしたら捕まえ易いということはない fact10: 仮になんらかの物は生え易いならば「その終戦時は捕まえ易いがしかしそれは生え易くない」ということは誤りである fact11: 何らかの物は補充的保障説でなくて加えて謗らない fact12: 「その公認勇者は捕まえ易くないけれど付き始める」ということは確かである fact13: その公認勇者がはきはきすれば生え易くない一方で憎悪する fact14: その終戦時が踊り回らないかあるいはそれが保護すということはないならばあの運用能力は付き始めない fact15: もし仮になにがしかのものがジャーならそれは宅老所でない fact16: その終戦時ははきはきする fact17: もし「その公認勇者は生え易い」ということは成り立つとすればそれは捕まえ易くない fact18: なんらかの物が奇策ならばそれははきはきしないけれど憎悪する fact19: もしその公認勇者は生え易いなら「それは憎悪しなくておまけに付き始める」ということは本当である fact20: もしもあのウェブブラウザーが爬虫動物だとすれば奇策でない
fact18 -> int1: もしあの運用能力が奇策だとすればはきはきしなくてその上それは憎悪する; void -> assump1: 以下のように仮定する。あの運用能力は奇策である; int1 & assump1 -> int2: あの運用能力ははきはきしない一方で憎悪する; int2 -> int3: あの運用能力は憎悪する; int3 & fact4 -> int4: その終戦時は捕まえ易い; fact2 -> int5: その公認勇者は生え易い; int5 -> int6: 「生え易い」ものはある; fact10 & int6 -> int7: 「その終戦時は捕まえ易い一方で生え易いということはない」ということは誤っている; fact9 -> int8: 「その終戦時は捕まえ易いがしかし生え易くない」ということは真実でないとするとそれは捕まえ易くない; int7 & int8 -> int9: その終戦時は捕まえ易いということはない; int4 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis;
あの運用能力は奇策である
fact22 -> int11: 仮にあの運用能力が付き始めないとしたら生え易くて加えてそれは捕まえ易い; fact23 -> int12: もしその終戦時が逃避でないならそれは踊り回らないかあるいは保護すらない;
$facts$ = fact1: その終戦時は感覚出来る fact2: その公認勇者は付き始めるしまたそれは生え易い fact3: 仮にその終戦時は生え易くないとすれば「あの運用能力は捕まえ易い」ということは成り立つ fact4: もしも「あの運用能力は憎悪する」ということは確かであるとすればその終戦時は捕まえ易い fact5: もし仮に「なにかは付き始めるしさらにそれは生え易い」ということは真実でないとするとそれは生え易くない fact6: 「なにがしかのものは付き始めない」ということは成り立つとしたらそれは生え易いし捕まえ易い fact7: その終戦時が付き始めるとするとあの室内灯は付き始める fact8: もしなにかは逃避でないとすればそれは踊り回るということはないかもしくは保護すらないかどちらもである fact9: 「なにがしかのものは捕まえ易いがしかし生え易いということはない」ということは間違いであるとしたら捕まえ易いということはない fact10: 仮になんらかの物は生え易いならば「その終戦時は捕まえ易いがしかしそれは生え易くない」ということは誤りである fact11: 何らかの物は補充的保障説でなくて加えて謗らない fact12: 「その公認勇者は捕まえ易くないけれど付き始める」ということは確かである fact13: その公認勇者がはきはきすれば生え易くない一方で憎悪する fact14: その終戦時が踊り回らないかあるいはそれが保護すということはないならばあの運用能力は付き始めない fact15: もし仮になにがしかのものがジャーならそれは宅老所でない fact16: その終戦時ははきはきする fact17: もし「その公認勇者は生え易い」ということは成り立つとすればそれは捕まえ易くない fact18: なんらかの物が奇策ならばそれははきはきしないけれど憎悪する fact19: もしその公認勇者は生え易いなら「それは憎悪しなくておまけに付き始める」ということは本当である fact20: もしもあのウェブブラウザーが爬虫動物だとすれば奇策でない ; $hypothesis$ = 「あの運用能力は奇策でない」ということは本当だ ; $proof$ = 
fact18 -> int1: もしあの運用能力が奇策だとすればはきはきしなくてその上それは憎悪する; void -> assump1: 以下のように仮定する。あの運用能力は奇策である; int1 & assump1 -> int2: あの運用能力ははきはきしない一方で憎悪する; int2 -> int3: あの運用能力は憎悪する; int3 & fact4 -> int4: その終戦時は捕まえ易い; fact2 -> int5: その公認勇者は生え易い; int5 -> int6: 「生え易い」ものはある; fact10 & int6 -> int7: 「その終戦時は捕まえ易い一方で生え易いということはない」ということは誤っている; fact9 -> int8: 「その終戦時は捕まえ易いがしかし生え易くない」ということは真実でないとするとそれは捕まえ易くない; int7 & int8 -> int9: その終戦時は捕まえ易いということはない; int4 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis; __PROVED__
事実1: その終戦時は感覚出来る
事実2: その公認勇者は付き始めるしまたそれは生え易い
事実3: 仮にその終戦時は生え易くないとすれば「あの運用能力は捕まえ易い」ということは成り立つ
事実4: もしも「あの運用能力は憎悪する」ということは確かであるとすればその終戦時は捕まえ易い
事実5: もし仮に「なにかは付き始めるしさらにそれは生え易い」ということは真実でないとするとそれは生え易くない
事実6: 「なにがしかのものは付き始めない」ということは成り立つとしたらそれは生え易いし捕まえ易い
事実7: その終戦時が付き始めるとするとあの室内灯は付き始める
事実8: もしなにかは逃避でないとすればそれは踊り回るということはないかもしくは保護すらないかどちらもである
事実9: 「なにがしかのものは捕まえ易いがしかし生え易いということはない」ということは間違いであるとしたら捕まえ易いということはない
事実10: 仮になんらかの物は生え易いならば「その終戦時は捕まえ易いがしかしそれは生え易くない」ということは誤りである
事実11: 何らかの物は補充的保障説でなくて加えて謗らない
事実12: 「その公認勇者は捕まえ易くないけれど付き始める」ということは確かである
事実13: その公認勇者がはきはきすれば生え易くない一方で憎悪する
事実14: その終戦時が踊り回らないかあるいはそれが保護すということはないならばあの運用能力は付き始めない
事実15: もし仮になにがしかのものがジャーならそれは宅老所でない
事実16: その終戦時ははきはきする
事実17: もし「その公認勇者は生え易い」ということは成り立つとすればそれは捕まえ易くない
事実18: なんらかの物が奇策ならばそれははきはきしないけれど憎悪する
事実19: もしその公認勇者は生え易いなら「それは憎悪しなくておまけに付き始める」ということは本当である
事実20: もしもあのウェブブラウザーが爬虫動物だとすれば奇策でない

仮説: 「あの運用能力は奇策でない」ということは本当だ
1. 事実18から、推論1: "もしあの運用能力が奇策だとすればはきはきしなくてその上それは憎悪する"が導かれる
2. 仮定1: 以下のように仮定する。あの運用能力は奇策である
3. 推論1と仮定1から、推論2: "あの運用能力ははきはきしない一方で憎悪する"が導かれる
4. 推論2から、推論3: "あの運用能力は憎悪する"が導かれる
5. 推論3と事実4から、推論4: "その終戦時は捕まえ易い"が導かれる
6. 事実2から、推論5: "その公認勇者は生え易い"が導かれる
7. 推論5から、推論6: "「生え易い」ものはある"が導かれる
8. 事実10と推論6から、推論7: "「その終戦時は捕まえ易い一方で生え易いということはない」ということは誤っている"が導かれる
9. 事実9から、推論8: "「その終戦時は捕まえ易いがしかし生え易くない」ということは真実でないとするとそれは捕まえ易くない"が導かれる
10. 推論7と推論8から、推論9: "その終戦時は捕まえ易いということはない"が導かれる
11. 推論4と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、仮説が導かれる

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