この想像以上は宇宙像でない
fact1: もし「なにがしかのものは涼しい一方でそれは浮かれない」ということは間違っていれば倍加しない fact2: あの第四回会議は覗くということはない fact3: もし仮にこの想像以上が一クラブレングス以内だけど覗かないとしたらあの脚注は宇宙像である fact4: 仮にこの弓使いは白虎隊でないならば「あの脚注は呼び込むということはない一方でそれは青黒い」ということは誤りである fact5: もしも何らかのものが啀み合わないならばそれは宇宙像だ fact6: もしもあの脚注は宇宙像だとすると「この弓使いは発色しないけれど白虎隊だ」ということは成り立たない fact7: その成長記録は覗くということはない fact8: 「すべてはトップランナーでない」ということは正しい fact9: 仮にあの第四回会議が倍加しないとすればあの想像以上は一クラブレングス以内だけど覗かない fact10: もしも「この弓使いは発色しないがしかし白虎隊である」ということは成り立たないとすると「あの再輸出は白虎隊だ」ということは本当だ fact11: もしもこの弓使いが白虎隊であるかあるいはそれが発色するかあるいは両方であるとすればあの想像以上は啀み合わない fact12: もしもなにかはトップランナーでないとしたら「涼しいけれど浮かれるということはない」ということは本当でない fact13: もしあの第四回会議が覗かないならばあの脚注は呼び込まないけどそれは青黒い
void -> assump1: 以下のように仮定する。この弓使いは白虎隊でない; fact4 & assump1 -> int1: 「あの脚注は呼び込むということはないがしかし青黒い」ということは間違っている; fact13 & fact2 -> int2: あの脚注は呼び込まない一方で青黒い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この弓使いは白虎隊だ; int4 -> int5: この弓使いは白虎隊であるかまたは発色する; int5 & fact11 -> int6: この想像以上は啀み合わない; fact5 -> int7: もしこの想像以上は啀み合わないとすれば「それは宇宙像だ」ということは確かである; int6 & int7 -> hypothesis;
あの再輸出は啀み合う
fact15 -> int8: もしも「あの第四回会議は涼しいけれど浮かれるということはない」ということは間違っているとするとそれは倍加しない; fact18 -> int9: もし仮にあの激化はトップランナーでないとすると「涼しい一方で浮かれない」ということは嘘だ; fact17 -> int10: あの激化はトップランナーでない; int9 & int10 -> int11: 「あの激化は涼しい一方で浮かれない」ということは嘘だ; int11 -> int12: それは涼しいがしかし浮かれないという物はない; int12 -> int13: 「あの第四回会議は涼しいが浮かれない」ということは事実でない; int8 & int13 -> int14: あの第四回会議は倍加しない; fact14 & int14 -> int15: この想像以上は一クラブレングス以内だ一方で覗かない; int15 & fact19 -> int16: あの脚注は宇宙像である; int16 & fact20 -> int17: 「この弓使いは発色しないけど白虎隊である」ということは誤っている; int17 & fact16 -> int18: 「あの再輸出は白虎隊だ」ということは正しい;
$facts$ = fact1: もし「なにがしかのものは涼しい一方でそれは浮かれない」ということは間違っていれば倍加しない fact2: あの第四回会議は覗くということはない fact3: もし仮にこの想像以上が一クラブレングス以内だけど覗かないとしたらあの脚注は宇宙像である fact4: 仮にこの弓使いは白虎隊でないならば「あの脚注は呼び込むということはない一方でそれは青黒い」ということは誤りである fact5: もしも何らかのものが啀み合わないならばそれは宇宙像だ fact6: もしもあの脚注は宇宙像だとすると「この弓使いは発色しないけれど白虎隊だ」ということは成り立たない fact7: その成長記録は覗くということはない fact8: 「すべてはトップランナーでない」ということは正しい fact9: 仮にあの第四回会議が倍加しないとすればあの想像以上は一クラブレングス以内だけど覗かない fact10: もしも「この弓使いは発色しないがしかし白虎隊である」ということは成り立たないとすると「あの再輸出は白虎隊だ」ということは本当だ fact11: もしもこの弓使いが白虎隊であるかあるいはそれが発色するかあるいは両方であるとすればあの想像以上は啀み合わない fact12: もしもなにかはトップランナーでないとしたら「涼しいけれど浮かれるということはない」ということは本当でない fact13: もしあの第四回会議が覗かないならばあの脚注は呼び込まないけどそれは青黒い ; $hypothesis$ = この想像以上は宇宙像でない ; $proof$ = 
void -> assump1: 以下のように仮定する。この弓使いは白虎隊でない; fact4 & assump1 -> int1: 「あの脚注は呼び込むということはないがしかし青黒い」ということは間違っている; fact13 & fact2 -> int2: あの脚注は呼び込まない一方で青黒い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この弓使いは白虎隊だ; int4 -> int5: この弓使いは白虎隊であるかまたは発色する; int5 & fact11 -> int6: この想像以上は啀み合わない; fact5 -> int7: もしこの想像以上は啀み合わないとすれば「それは宇宙像だ」ということは確かである; int6 & int7 -> hypothesis; __DISPROVED__
事実1: もし「なにがしかのものは涼しい一方でそれは浮かれない」ということは間違っていれば倍加しない
事実2: あの第四回会議は覗くということはない
事実3: もし仮にこの想像以上が一クラブレングス以内だけど覗かないとしたらあの脚注は宇宙像である
事実4: 仮にこの弓使いは白虎隊でないならば「あの脚注は呼び込むということはない一方でそれは青黒い」ということは誤りである
事実5: もしも何らかのものが啀み合わないならばそれは宇宙像だ
事実6: もしもあの脚注は宇宙像だとすると「この弓使いは発色しないけれど白虎隊だ」ということは成り立たない
事実7: その成長記録は覗くということはない
事実8: 「すべてはトップランナーでない」ということは正しい
事実9: 仮にあの第四回会議が倍加しないとすればあの想像以上は一クラブレングス以内だけど覗かない
事実10: もしも「この弓使いは発色しないがしかし白虎隊である」ということは成り立たないとすると「あの再輸出は白虎隊だ」ということは本当だ
事実11: もしもこの弓使いが白虎隊であるかあるいはそれが発色するかあるいは両方であるとすればあの想像以上は啀み合わない
事実12: もしもなにかはトップランナーでないとしたら「涼しいけれど浮かれるということはない」ということは本当でない
事実13: もしあの第四回会議が覗かないならばあの脚注は呼び込まないけどそれは青黒い

仮説: この想像以上は宇宙像でない
1. 仮定1: 以下のように仮定する。この弓使いは白虎隊でない
2. 事実4と仮定1から、推論1: "「あの脚注は呼び込むということはないがしかし青黒い」ということは間違っている"が導かれる
3. 事実13と事実2から、推論2: "あの脚注は呼び込まない一方で青黒い"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この弓使いは白虎隊だ"が導かれる
6. 推論4から、推論5: "この弓使いは白虎隊であるかまたは発色する"が導かれる
7. 推論5と事実11から、推論6: "この想像以上は啀み合わない"が導かれる
8. 事実5から、推論7: "もしこの想像以上は啀み合わないとすれば「それは宇宙像だ」ということは確かである"が導かれる
9. 推論6と推論7から、仮説が否定される

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