この次書は隙間無い
fact1: もしこの二十世紀以前が気難しくないならスラッシュする fact2: 「あの宇宙船は気難しくなくて武装解除でない」ということは間違いだ fact3: この二十世紀以前はスラッシュする fact4: もしもなにかは接し得れば「青天でない」ということは成り立つ fact5: もし仮に何かは接し得るとすれば隙間無い fact6: もしこの次書が隙間無いとすれば調整所だ fact7: もしも何かはスラッシュするということはないなら「それは接し得るし青天であるということはない」ということは正しい fact8: 気難しい物は武装解除でない fact9: この次書は調整所だ fact10: 好ましくない物は気難しい物であり乖離するということはない fact11: 仮にある物は青天だとすれば「接し得る一方で隙間無くない」ということは成り立たない fact12: この次書が隙間無いならそれは一回転しなくて調整所だ fact13: 「あの宇宙船は気難しいけどそれは武装解除であるということはない」ということは成り立たない fact14: もしもこの次書が気難しくないならばそれは一回転するし武装解除である fact15: この次書は青天だということはない fact16: 仮にあの宇宙船が気難しいとするとこの二十世紀以前は気難しくない fact17: あらゆる物は外化しなくて加えて反応出来る fact18: 気難しくないものはスラッシュするし青天である fact19: 仮に「あの宇宙船は気難しくなくてまた武装解除であるということはない」ということは真実であるということはないとしたらこの二十世紀以前は気難しくない fact20: 仮に何かは気難しくないとすると「それはスラッシュする」ということは誤りでない fact21: 「仮に「この二十世紀以前はスラッシュするがしかしそれは武装解除でない」ということは偽だとすればこの次書はスラッシュしない」ということは事実である fact22: もし仮にこの次書が一回転しないがしかし調整所であるならばこの二十世紀以前は接し得る fact23: もし仮にあの医療過誤が外化するということはないけれど反応出来るとすればそれは好ましくない fact24: もしもこの二十世紀以前が調整所ならこの次書は調整所でない fact25: この次書は御偉い fact26: もしもあの医療過誤が気難しいけどそれが乖離しないならばあの宇宙船は気難しくない
void -> assump1: 以下のように仮定する。この次書は隙間無い; fact12 & assump1 -> int1: この次書は一回転しないがしかし調整所である; int1 & fact22 -> int2: この二十世紀以前は接し得る; fact4 -> int3: もし仮にこの二十世紀以前が接し得るとすると青天でない; int2 & int3 -> int4: この二十世紀以前は青天でない; fact18 -> int5: 仮にこの二十世紀以前が気難しいということはないならばそれはスラッシュするしそれにそれは青天である; fact19 & fact2 -> int6: この二十世紀以前は気難しくない; int5 & int6 -> int7: この二十世紀以前はスラッシュするしおまけに青天である; int7 -> int8: この二十世紀以前は青天である; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
この次書は隙間無い
fact27 -> int10: 仮にあの宇宙船は青天であるとすると「接し得るしそれは隙間無くない」ということは間違いである;
$facts$ = fact1: もしこの二十世紀以前が気難しくないならスラッシュする fact2: 「あの宇宙船は気難しくなくて武装解除でない」ということは間違いだ fact3: この二十世紀以前はスラッシュする fact4: もしもなにかは接し得れば「青天でない」ということは成り立つ fact5: もし仮に何かは接し得るとすれば隙間無い fact6: もしこの次書が隙間無いとすれば調整所だ fact7: もしも何かはスラッシュするということはないなら「それは接し得るし青天であるということはない」ということは正しい fact8: 気難しい物は武装解除でない fact9: この次書は調整所だ fact10: 好ましくない物は気難しい物であり乖離するということはない fact11: 仮にある物は青天だとすれば「接し得る一方で隙間無くない」ということは成り立たない fact12: この次書が隙間無いならそれは一回転しなくて調整所だ fact13: 「あの宇宙船は気難しいけどそれは武装解除であるということはない」ということは成り立たない fact14: もしもこの次書が気難しくないならばそれは一回転するし武装解除である fact15: この次書は青天だということはない fact16: 仮にあの宇宙船が気難しいとするとこの二十世紀以前は気難しくない fact17: あらゆる物は外化しなくて加えて反応出来る fact18: 気難しくないものはスラッシュするし青天である fact19: 仮に「あの宇宙船は気難しくなくてまた武装解除であるということはない」ということは真実であるということはないとしたらこの二十世紀以前は気難しくない fact20: 仮に何かは気難しくないとすると「それはスラッシュする」ということは誤りでない fact21: 「仮に「この二十世紀以前はスラッシュするがしかしそれは武装解除でない」ということは偽だとすればこの次書はスラッシュしない」ということは事実である fact22: もし仮にこの次書が一回転しないがしかし調整所であるならばこの二十世紀以前は接し得る fact23: もし仮にあの医療過誤が外化するということはないけれど反応出来るとすればそれは好ましくない fact24: もしもこの二十世紀以前が調整所ならこの次書は調整所でない fact25: この次書は御偉い fact26: もしもあの医療過誤が気難しいけどそれが乖離しないならばあの宇宙船は気難しくない ; $hypothesis$ = この次書は隙間無い ; $proof$ = 
void -> assump1: 以下のように仮定する。この次書は隙間無い; fact12 & assump1 -> int1: この次書は一回転しないがしかし調整所である; int1 & fact22 -> int2: この二十世紀以前は接し得る; fact4 -> int3: もし仮にこの二十世紀以前が接し得るとすると青天でない; int2 & int3 -> int4: この二十世紀以前は青天でない; fact18 -> int5: 仮にこの二十世紀以前が気難しいということはないならばそれはスラッシュするしそれにそれは青天である; fact19 & fact2 -> int6: この二十世紀以前は気難しくない; int5 & int6 -> int7: この二十世紀以前はスラッシュするしおまけに青天である; int7 -> int8: この二十世紀以前は青天である; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis; __DISPROVED__
事実1: もしこの二十世紀以前が気難しくないならスラッシュする
事実2: 「あの宇宙船は気難しくなくて武装解除でない」ということは間違いだ
事実3: この二十世紀以前はスラッシュする
事実4: もしもなにかは接し得れば「青天でない」ということは成り立つ
事実5: もし仮に何かは接し得るとすれば隙間無い
事実6: もしこの次書が隙間無いとすれば調整所だ
事実7: もしも何かはスラッシュするということはないなら「それは接し得るし青天であるということはない」ということは正しい
事実8: 気難しい物は武装解除でない
事実9: この次書は調整所だ
事実10: 好ましくない物は気難しい物であり乖離するということはない
事実11: 仮にある物は青天だとすれば「接し得る一方で隙間無くない」ということは成り立たない
事実12: この次書が隙間無いならそれは一回転しなくて調整所だ
事実13: 「あの宇宙船は気難しいけどそれは武装解除であるということはない」ということは成り立たない
事実14: もしもこの次書が気難しくないならばそれは一回転するし武装解除である
事実15: この次書は青天だということはない
事実16: 仮にあの宇宙船が気難しいとするとこの二十世紀以前は気難しくない
事実17: あらゆる物は外化しなくて加えて反応出来る
事実18: 気難しくないものはスラッシュするし青天である
事実19: 仮に「あの宇宙船は気難しくなくてまた武装解除であるということはない」ということは真実であるということはないとしたらこの二十世紀以前は気難しくない
事実20: 仮に何かは気難しくないとすると「それはスラッシュする」ということは誤りでない
事実21: 「仮に「この二十世紀以前はスラッシュするがしかしそれは武装解除でない」ということは偽だとすればこの次書はスラッシュしない」ということは事実である
事実22: もし仮にこの次書が一回転しないがしかし調整所であるならばこの二十世紀以前は接し得る
事実23: もし仮にあの医療過誤が外化するということはないけれど反応出来るとすればそれは好ましくない
事実24: もしもこの二十世紀以前が調整所ならこの次書は調整所でない
事実25: この次書は御偉い
事実26: もしもあの医療過誤が気難しいけどそれが乖離しないならばあの宇宙船は気難しくない

仮説: この次書は隙間無い
1. 仮定1: 以下のように仮定する。この次書は隙間無い
2. 事実12と仮定1から、推論1: "この次書は一回転しないがしかし調整所である"が導かれる
3. 推論1と事実22から、推論2: "この二十世紀以前は接し得る"が導かれる
4. 事実4から、推論3: "もし仮にこの二十世紀以前が接し得るとすると青天でない"が導かれる
5. 推論2と推論3から、推論4: "この二十世紀以前は青天でない"が導かれる
6. 事実18から、推論5: "仮にこの二十世紀以前が気難しいということはないならばそれはスラッシュするしそれにそれは青天である"が導かれる
7. 事実19と事実2から、推論6: "この二十世紀以前は気難しくない"が導かれる
8. 推論5と推論6から、推論7: "この二十世紀以前はスラッシュするしおまけに青天である"が導かれる
9. 推論7から、推論8: "この二十世紀以前は青天である"が導かれる
10. 推論4と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が否定される

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