この新調は幼いということはない
fact1: この道脇は造成する fact2: もし仮にその灌木が集まるとすればこの本講義は嘲り笑わない fact3: もしもその灌木が集まるということはないとしたらその硝石は製造出来る fact4: 「製造出来るしそれに嘲り笑う」物はある fact5: もし「なにかは幼くないけど製造出来る」ということは間違いならば幼い fact6: もしこの道脇が回覧しないがしかし造成するとするとその硝石は製造出来ない fact7: もし仮に何かは小鰭である一方でそれが恐れ戦かないならこの新調は幼くない fact8: もしもなんらかのものは集まらないとしたら「それは幼くないけれど製造出来る」ということは成り立たない fact9: この本講義は製造出来ない fact10: 仮にその灌木が嘲り笑うとしたらこの本講義は集まらない fact11: 何らかのものが嘲り笑うということはないとしたらそれは小鰭であるししかも恐れ戦かない fact12: この道脇は回覧しない一方で造成する fact13: 「なにがしかのものは幼いししかもそれは集まる」ということは本当だ
void -> assump1: 以下のように仮定する。「その灌木は集まらない」ということは成り立つ; fact3 & assump1 -> int1: 「その硝石は製造出来る」ということは成り立つ; fact6 & fact12 -> int2: 「その硝石は製造出来ない」ということは事実だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その灌木は集まる; int4 & fact2 -> int5: この本講義は嘲り笑わない; fact11 -> int6: この本講義は嘲り笑わないならば「それは小鰭だ一方で恐れ戦かない」ということは真実だ; int5 & int6 -> int7: この本講義は小鰭だけれど恐れ戦かない; int7 -> int8: 「小鰭で恐れ戦かない」ものはある; int8 & fact7 -> hypothesis;
この新調は幼い
fact15 -> int9: もしも「この新調は幼くないけれど製造出来る」ということは確かだということはないとすればそれは幼い; fact14 -> int10: もしもこの新調は集まらないとすると「それは幼くないしまたそれは製造出来る」ということは間違っている;
$facts$ = fact1: この道脇は造成する fact2: もし仮にその灌木が集まるとすればこの本講義は嘲り笑わない fact3: もしもその灌木が集まるということはないとしたらその硝石は製造出来る fact4: 「製造出来るしそれに嘲り笑う」物はある fact5: もし「なにかは幼くないけど製造出来る」ということは間違いならば幼い fact6: もしこの道脇が回覧しないがしかし造成するとするとその硝石は製造出来ない fact7: もし仮に何かは小鰭である一方でそれが恐れ戦かないならこの新調は幼くない fact8: もしもなんらかのものは集まらないとしたら「それは幼くないけれど製造出来る」ということは成り立たない fact9: この本講義は製造出来ない fact10: 仮にその灌木が嘲り笑うとしたらこの本講義は集まらない fact11: 何らかのものが嘲り笑うということはないとしたらそれは小鰭であるししかも恐れ戦かない fact12: この道脇は回覧しない一方で造成する fact13: 「なにがしかのものは幼いししかもそれは集まる」ということは本当だ ; $hypothesis$ = この新調は幼いということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その灌木は集まらない」ということは成り立つ; fact3 & assump1 -> int1: 「その硝石は製造出来る」ということは成り立つ; fact6 & fact12 -> int2: 「その硝石は製造出来ない」ということは事実だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その灌木は集まる; int4 & fact2 -> int5: この本講義は嘲り笑わない; fact11 -> int6: この本講義は嘲り笑わないならば「それは小鰭だ一方で恐れ戦かない」ということは真実だ; int5 & int6 -> int7: この本講義は小鰭だけれど恐れ戦かない; int7 -> int8: 「小鰭で恐れ戦かない」ものはある; int8 & fact7 -> hypothesis; __PROVED__
事実1: この道脇は造成する
事実2: もし仮にその灌木が集まるとすればこの本講義は嘲り笑わない
事実3: もしもその灌木が集まるということはないとしたらその硝石は製造出来る
事実4: 「製造出来るしそれに嘲り笑う」物はある
事実5: もし「なにかは幼くないけど製造出来る」ということは間違いならば幼い
事実6: もしこの道脇が回覧しないがしかし造成するとするとその硝石は製造出来ない
事実7: もし仮に何かは小鰭である一方でそれが恐れ戦かないならこの新調は幼くない
事実8: もしもなんらかのものは集まらないとしたら「それは幼くないけれど製造出来る」ということは成り立たない
事実9: この本講義は製造出来ない
事実10: 仮にその灌木が嘲り笑うとしたらこの本講義は集まらない
事実11: 何らかのものが嘲り笑うということはないとしたらそれは小鰭であるししかも恐れ戦かない
事実12: この道脇は回覧しない一方で造成する
事実13: 「なにがしかのものは幼いししかもそれは集まる」ということは本当だ

仮説: この新調は幼いということはない
1. 仮定1: 以下のように仮定する。「その灌木は集まらない」ということは成り立つ
2. 事実3と仮定1から、推論1: "「その硝石は製造出来る」ということは成り立つ"が導かれる
3. 事実6と事実12から、推論2: "「その硝石は製造出来ない」ということは事実だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その灌木は集まる"が導かれる
6. 推論4と事実2から、推論5: "この本講義は嘲り笑わない"が導かれる
7. 事実11から、推論6: "この本講義は嘲り笑わないならば「それは小鰭だ一方で恐れ戦かない」ということは真実だ"が導かれる
8. 推論5と推論6から、推論7: "この本講義は小鰭だけれど恐れ戦かない"が導かれる
9. 推論7から、推論8: "「小鰭で恐れ戦かない」ものはある"が導かれる
10. 推論8と事実7から、仮説が導かれる

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