あの軍事力は持ち出せない
fact1: 仮にある物は左袒するとすれば「不正利用するがしかし俺達夫婦でない」ということは誤りだ fact2: もし仮に「あの大役は撒き散らさなくてしかもチェルネットでない」ということは成り立つということはないとするとチェルネットだ fact3: この十五夜が不正利用するとするとあの軍事力は不正利用する一方でそれは持ち出せない fact4: もし仮にこの十五夜が不正利用するならあの軍事力は不正利用する fact5: もしもこの十五夜が持ち出せるとしたらあの軍事力は持ち出せるけれどそれは不正利用しない fact6: もしも「とある物は不正利用するがしかし持ち出せない」ということは誤りであるとすれば「持ち出せる」ということは本当である fact7: もしあの大役がチェルネットであるとすれば左袒するしさらに対象化でない fact8: もし仮にこの十五夜は俺達夫婦であるなら不正利用する fact9: この十五夜は俺達夫婦だ fact10: もしもあの大役は素人っぽいなら「それは撒き散らすということはないしまたチェルネットでない」ということは成り立たない
fact8 & fact9 -> int1: 「この十五夜は不正利用する」ということは成り立つ; int1 & fact3 -> int2: あの軍事力は不正利用するけど持ち出せるということはない; int2 -> hypothesis;
「あの軍事力は持ち出せる」ということは本当である
fact14 -> int3: もし「あの軍事力は不正利用するけど持ち出せるということはない」ということは誤っていればそれは持ち出せる;
$facts$ = fact1: 仮にある物は左袒するとすれば「不正利用するがしかし俺達夫婦でない」ということは誤りだ fact2: もし仮に「あの大役は撒き散らさなくてしかもチェルネットでない」ということは成り立つということはないとするとチェルネットだ fact3: この十五夜が不正利用するとするとあの軍事力は不正利用する一方でそれは持ち出せない fact4: もし仮にこの十五夜が不正利用するならあの軍事力は不正利用する fact5: もしもこの十五夜が持ち出せるとしたらあの軍事力は持ち出せるけれどそれは不正利用しない fact6: もしも「とある物は不正利用するがしかし持ち出せない」ということは誤りであるとすれば「持ち出せる」ということは本当である fact7: もしあの大役がチェルネットであるとすれば左袒するしさらに対象化でない fact8: もし仮にこの十五夜は俺達夫婦であるなら不正利用する fact9: この十五夜は俺達夫婦だ fact10: もしもあの大役は素人っぽいなら「それは撒き散らすということはないしまたチェルネットでない」ということは成り立たない ; $hypothesis$ = あの軍事力は持ち出せない ; $proof$ = 
fact8 & fact9 -> int1: 「この十五夜は不正利用する」ということは成り立つ; int1 & fact3 -> int2: あの軍事力は不正利用するけど持ち出せるということはない; int2 -> hypothesis; __PROVED__
事実1: 仮にある物は左袒するとすれば「不正利用するがしかし俺達夫婦でない」ということは誤りだ
事実2: もし仮に「あの大役は撒き散らさなくてしかもチェルネットでない」ということは成り立つということはないとするとチェルネットだ
事実3: この十五夜が不正利用するとするとあの軍事力は不正利用する一方でそれは持ち出せない
事実4: もし仮にこの十五夜が不正利用するならあの軍事力は不正利用する
事実5: もしもこの十五夜が持ち出せるとしたらあの軍事力は持ち出せるけれどそれは不正利用しない
事実6: もしも「とある物は不正利用するがしかし持ち出せない」ということは誤りであるとすれば「持ち出せる」ということは本当である
事実7: もしあの大役がチェルネットであるとすれば左袒するしさらに対象化でない
事実8: もし仮にこの十五夜は俺達夫婦であるなら不正利用する
事実9: この十五夜は俺達夫婦だ
事実10: もしもあの大役は素人っぽいなら「それは撒き散らすということはないしまたチェルネットでない」ということは成り立たない

仮説: あの軍事力は持ち出せない
1. 事実8と事実9から、推論1: "「この十五夜は不正利用する」ということは成り立つ"が導かれる
2. 推論1と事実3から、推論2: "あの軍事力は不正利用するけど持ち出せるということはない"が導かれる
3. 推論2から、仮説が導かれる

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