「もし仮に「あの配線系はさ迷い込む」ということは確かだとしたら「あの御まんはオンラインショップである」ということは間違いでない」ということは正しくない
fact1: もしも真っ白いものが発生し始めるとしたらそれはさ迷い込まない fact2: あの御まんが真っ白くないとするとあの配線系はオンラインショップである fact3: 仮にあの御まんは真っ白くないとすると「あの配線系は発生し始めるしそれにそれはオンラインショップだ」ということは真実だ fact4: もし仮に「あの御まんはオンラインショップでない」ということは成り立つとしたらあの配線系は真っ白いしそれに発生し始める fact5: 「あの配線系はびら張りだ」ということは正しい
void -> assump2: 以下のように仮定する。あの御まんはオンラインショップでない; fact4 & assump2 -> int1: あの配線系は真っ白いし発生し始める; fact1 -> int2: もし仮にあの配線系が真っ白いし発生し始めるなら「さ迷い込まない」ということは間違いであるということはない; int1 & int2 -> int3: あの配線系はさ迷い込まない; void -> assump1: 以下のように仮定する。あの配線系はさ迷い込む; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: あの御まんはオンラインショップだ; [assump1] & int5 -> hypothesis;
$facts$ = fact1: もしも真っ白いものが発生し始めるとしたらそれはさ迷い込まない fact2: あの御まんが真っ白くないとするとあの配線系はオンラインショップである fact3: 仮にあの御まんは真っ白くないとすると「あの配線系は発生し始めるしそれにそれはオンラインショップだ」ということは真実だ fact4: もし仮に「あの御まんはオンラインショップでない」ということは成り立つとしたらあの配線系は真っ白いしそれに発生し始める fact5: 「あの配線系はびら張りだ」ということは正しい ; $hypothesis$ = 「もし仮に「あの配線系はさ迷い込む」ということは確かだとしたら「あの御まんはオンラインショップである」ということは間違いでない」ということは正しくない ; $proof$ = 
void -> assump2: 以下のように仮定する。あの御まんはオンラインショップでない; fact4 & assump2 -> int1: あの配線系は真っ白いし発生し始める; fact1 -> int2: もし仮にあの配線系が真っ白いし発生し始めるなら「さ迷い込まない」ということは間違いであるということはない; int1 & int2 -> int3: あの配線系はさ迷い込まない; void -> assump1: 以下のように仮定する。あの配線系はさ迷い込む; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: あの御まんはオンラインショップだ; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: もしも真っ白いものが発生し始めるとしたらそれはさ迷い込まない
事実2: あの御まんが真っ白くないとするとあの配線系はオンラインショップである
事実3: 仮にあの御まんは真っ白くないとすると「あの配線系は発生し始めるしそれにそれはオンラインショップだ」ということは真実だ
事実4: もし仮に「あの御まんはオンラインショップでない」ということは成り立つとしたらあの配線系は真っ白いしそれに発生し始める
事実5: 「あの配線系はびら張りだ」ということは正しい

仮説: 「もし仮に「あの配線系はさ迷い込む」ということは確かだとしたら「あの御まんはオンラインショップである」ということは間違いでない」ということは正しくない
1. 仮定2: 以下のように仮定する。あの御まんはオンラインショップでない
2. 事実4と仮定2から、推論1: "あの配線系は真っ白いし発生し始める"が導かれる
3. 事実1から、推論2: "もし仮にあの配線系が真っ白いし発生し始めるなら「さ迷い込まない」ということは間違いであるということはない"が導かれる
4. 推論1と推論2から、推論3: "あの配線系はさ迷い込まない"が導かれる
5. 仮定1: 以下のように仮定する。あの配線系はさ迷い込む
6. 推論3と仮定1から、推論4: "これは矛盾である"が導かれる
7. [仮定2]と推論4から、推論5: "あの御まんはオンラインショップだ"が導かれる
8. [仮定1]と推論5から、仮説が否定される

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