あの精神病は寄る辺無くない
fact1: あの咄嗟は参禅する fact2: 何かは利用し難くないとしたらあの咄嗟は聴取するし加えて御偉い fact3: もしも空恐ろしいものが乏しくないとするとこの七十年前後は睨め付けない fact4: もし仮にあの咄嗟が参禅すればそれはアカデミー賞である fact5: あのδワンは参禅する fact6: もしこの七十年前後が睨め付けないとすれば五十八フレーム目でなくてまたスキャンするということはない fact7: もしあの咄嗟が参禅すればアカデミー賞でそれは隠し持たない fact8: この七十年前後はスキャンするということはない fact9: 「空恐ろしくて乏しいということはない」ものはある fact10: あの精神病が利用し難いししかも寄る辺無いとするとこの団栗眼はスキャンしない fact11: あの咄嗟はアカデミー賞である fact12: もしもあの火影が聴取するならこの七十年前後は御偉い fact13: あの咄嗟がアカデミー賞であるけれどそれが隠し持たないならあの火影は聴取する fact14: もしこの七十年前後が御偉いとするとあの精神病は利用し難い fact15: 「この団栗眼はスキャンする」ということは成り立つ fact16: もし仮に「五十八フレーム目でないしまたスキャンしない」ものがあればあの火影は利用し難くない
fact7 & fact1 -> int1: あの咄嗟はアカデミー賞である一方でそれは隠し持たない; int1 & fact13 -> int2: あの火影は聴取する; int2 & fact12 -> int3: この七十年前後は御偉い; int3 & fact14 -> int4: 「あの精神病は利用し難い」ということは本当である; void -> assump1: 以下のように仮定する。あの精神病は寄る辺無い; int4 & assump1 -> int5: 「あの精神病は利用し難くて寄る辺無い」ということは本当だ; int5 & fact10 -> int6: この団栗眼はスキャンしない; int6 & fact15 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
あの精神病は寄る辺無い
fact21 & fact20 -> int8: この七十年前後は睨め付けない; fact18 & int8 -> int9: この七十年前後は五十八フレーム目でなくてスキャンしない; int9 -> int10: なんらかの物は五十八フレーム目でないしまたそれはスキャンするということはない; int10 & fact17 -> int11: あの火影は利用し難くない; int11 -> int12: 「利用し難くない」物はある; int12 & fact19 -> int13: あの咄嗟は聴取するししかも御偉い; int13 -> int14: あの咄嗟は聴取する; int14 -> int15: 「聴取する」物はある;
$facts$ = fact1: あの咄嗟は参禅する fact2: 何かは利用し難くないとしたらあの咄嗟は聴取するし加えて御偉い fact3: もしも空恐ろしいものが乏しくないとするとこの七十年前後は睨め付けない fact4: もし仮にあの咄嗟が参禅すればそれはアカデミー賞である fact5: あのδワンは参禅する fact6: もしこの七十年前後が睨め付けないとすれば五十八フレーム目でなくてまたスキャンするということはない fact7: もしあの咄嗟が参禅すればアカデミー賞でそれは隠し持たない fact8: この七十年前後はスキャンするということはない fact9: 「空恐ろしくて乏しいということはない」ものはある fact10: あの精神病が利用し難いししかも寄る辺無いとするとこの団栗眼はスキャンしない fact11: あの咄嗟はアカデミー賞である fact12: もしもあの火影が聴取するならこの七十年前後は御偉い fact13: あの咄嗟がアカデミー賞であるけれどそれが隠し持たないならあの火影は聴取する fact14: もしこの七十年前後が御偉いとするとあの精神病は利用し難い fact15: 「この団栗眼はスキャンする」ということは成り立つ fact16: もし仮に「五十八フレーム目でないしまたスキャンしない」ものがあればあの火影は利用し難くない ; $hypothesis$ = あの精神病は寄る辺無くない ; $proof$ = 
fact7 & fact1 -> int1: あの咄嗟はアカデミー賞である一方でそれは隠し持たない; int1 & fact13 -> int2: あの火影は聴取する; int2 & fact12 -> int3: この七十年前後は御偉い; int3 & fact14 -> int4: 「あの精神病は利用し難い」ということは本当である; void -> assump1: 以下のように仮定する。あの精神病は寄る辺無い; int4 & assump1 -> int5: 「あの精神病は利用し難くて寄る辺無い」ということは本当だ; int5 & fact10 -> int6: この団栗眼はスキャンしない; int6 & fact15 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __PROVED__
事実1: あの咄嗟は参禅する
事実2: 何かは利用し難くないとしたらあの咄嗟は聴取するし加えて御偉い
事実3: もしも空恐ろしいものが乏しくないとするとこの七十年前後は睨め付けない
事実4: もし仮にあの咄嗟が参禅すればそれはアカデミー賞である
事実5: あのδワンは参禅する
事実6: もしこの七十年前後が睨め付けないとすれば五十八フレーム目でなくてまたスキャンするということはない
事実7: もしあの咄嗟が参禅すればアカデミー賞でそれは隠し持たない
事実8: この七十年前後はスキャンするということはない
事実9: 「空恐ろしくて乏しいということはない」ものはある
事実10: あの精神病が利用し難いししかも寄る辺無いとするとこの団栗眼はスキャンしない
事実11: あの咄嗟はアカデミー賞である
事実12: もしもあの火影が聴取するならこの七十年前後は御偉い
事実13: あの咄嗟がアカデミー賞であるけれどそれが隠し持たないならあの火影は聴取する
事実14: もしこの七十年前後が御偉いとするとあの精神病は利用し難い
事実15: 「この団栗眼はスキャンする」ということは成り立つ
事実16: もし仮に「五十八フレーム目でないしまたスキャンしない」ものがあればあの火影は利用し難くない

仮説: あの精神病は寄る辺無くない
1. 事実7と事実1から、推論1: "あの咄嗟はアカデミー賞である一方でそれは隠し持たない"が導かれる
2. 推論1と事実13から、推論2: "あの火影は聴取する"が導かれる
3. 推論2と事実12から、推論3: "この七十年前後は御偉い"が導かれる
4. 推論3と事実14から、推論4: "「あの精神病は利用し難い」ということは本当である"が導かれる
5. 仮定1: 以下のように仮定する。あの精神病は寄る辺無い
6. 推論4と仮定1から、推論5: "「あの精神病は利用し難くて寄る辺無い」ということは本当だ"が導かれる
7. 推論5と事実10から、推論6: "この団栗眼はスキャンしない"が導かれる
8. 推論6と事実15から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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