その自発性は皇道大本であるということはない
fact1: 「なにがしかのものはライザーでないとすると「検出出来ない一方で皇道大本である」ということは成り立たない」ということは間違っていない fact2: 仮に「この日朝関係は太陽系艦隊でないしその上複雑過ぎない」ということは事実と異なるならその自発性は皇道大本だ fact3: もしこの日朝関係が太陽系艦隊であるとするとその自発性は皇道大本である fact4: このギャラクシーは検出出来る fact5: この日朝関係は検出出来る fact6: もしもこの日朝関係が太陽系艦隊でないし加えてそれが複雑過ぎないならそれは検出出来ない
void -> assump1: 以下のように仮定する。この日朝関係は太陽系艦隊でないしかつそれは複雑過ぎない; fact6 & assump1 -> int1: この日朝関係は検出出来ない; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この日朝関係は太陽系艦隊でないし複雑過ぎない」ということは誤っている; int3 & fact2 -> hypothesis;
その自発性は皇道大本でない
fact7 -> int4: もしこの日朝関係はライザーでないなら「それは検出出来なくてそれは皇道大本だ」ということは嘘だ;
$facts$ = fact1: 「なにがしかのものはライザーでないとすると「検出出来ない一方で皇道大本である」ということは成り立たない」ということは間違っていない fact2: 仮に「この日朝関係は太陽系艦隊でないしその上複雑過ぎない」ということは事実と異なるならその自発性は皇道大本だ fact3: もしこの日朝関係が太陽系艦隊であるとするとその自発性は皇道大本である fact4: このギャラクシーは検出出来る fact5: この日朝関係は検出出来る fact6: もしもこの日朝関係が太陽系艦隊でないし加えてそれが複雑過ぎないならそれは検出出来ない ; $hypothesis$ = その自発性は皇道大本であるということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。この日朝関係は太陽系艦隊でないしかつそれは複雑過ぎない; fact6 & assump1 -> int1: この日朝関係は検出出来ない; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この日朝関係は太陽系艦隊でないし複雑過ぎない」ということは誤っている; int3 & fact2 -> hypothesis; __DISPROVED__
事実1: 「なにがしかのものはライザーでないとすると「検出出来ない一方で皇道大本である」ということは成り立たない」ということは間違っていない
事実2: 仮に「この日朝関係は太陽系艦隊でないしその上複雑過ぎない」ということは事実と異なるならその自発性は皇道大本だ
事実3: もしこの日朝関係が太陽系艦隊であるとするとその自発性は皇道大本である
事実4: このギャラクシーは検出出来る
事実5: この日朝関係は検出出来る
事実6: もしもこの日朝関係が太陽系艦隊でないし加えてそれが複雑過ぎないならそれは検出出来ない

仮説: その自発性は皇道大本であるということはない
1. 仮定1: 以下のように仮定する。この日朝関係は太陽系艦隊でないしかつそれは複雑過ぎない
2. 事実6と仮定1から、推論1: "この日朝関係は検出出来ない"が導かれる
3. 推論1と事実5から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「この日朝関係は太陽系艦隊でないし複雑過ぎない」ということは誤っている"が導かれる
5. 推論3と事実2から、仮説が否定される

よって、仮説が否定されました。