あの惜別は後ろ側である
fact1: 仮に女っぽいものが撥ね飛ばさないならばあの空間認識は統一国家でない fact2: もし「「浅しししかも後ろ側でない」ということは誤っている」ものがあるとするとあの空間認識は統一国家だ fact3: 「「女っぽいけれど撥ね飛ばさない」ということは正しい」物はある
void -> assump1: 以下のように仮定する。「あの惜別は浅しがしかし後ろ側であるということはない」ということは誤っている; assump1 -> int1: 「「浅しし更に後ろ側でない」ということは偽な」ものはある; int1 & fact2 -> int2: あの空間認識は統一国家だ; fact1 & fact3 -> int3: あの空間認識は統一国家だということはない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの惜別は浅しけれど後ろ側であるということはない; int5 -> hypothesis;
$facts$ = fact1: 仮に女っぽいものが撥ね飛ばさないならばあの空間認識は統一国家でない fact2: もし「「浅しししかも後ろ側でない」ということは誤っている」ものがあるとするとあの空間認識は統一国家だ fact3: 「「女っぽいけれど撥ね飛ばさない」ということは正しい」物はある ; $hypothesis$ = あの惜別は後ろ側である ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの惜別は浅しがしかし後ろ側であるということはない」ということは誤っている; assump1 -> int1: 「「浅しし更に後ろ側でない」ということは偽な」ものはある; int1 & fact2 -> int2: あの空間認識は統一国家だ; fact1 & fact3 -> int3: あの空間認識は統一国家だということはない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの惜別は浅しけれど後ろ側であるということはない; int5 -> hypothesis; __DISPROVED__
事実1: 仮に女っぽいものが撥ね飛ばさないならばあの空間認識は統一国家でない
事実2: もし「「浅しししかも後ろ側でない」ということは誤っている」ものがあるとするとあの空間認識は統一国家だ
事実3: 「「女っぽいけれど撥ね飛ばさない」ということは正しい」物はある

仮説: あの惜別は後ろ側である
1. 仮定1: 以下のように仮定する。「あの惜別は浅しがしかし後ろ側であるということはない」ということは誤っている
2. 仮定1から、推論1: "「「浅しし更に後ろ側でない」ということは偽な」ものはある"が導かれる
3. 推論1と事実2から、推論2: "あの空間認識は統一国家だ"が導かれる
4. 事実1と事実3から、推論3: "あの空間認識は統一国家だということはない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの惜別は浅しけれど後ろ側であるということはない"が導かれる
7. 推論5から、仮説が否定される

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