「その近世期が概説しないならあの巡回は大きくない」ということは間違いである
fact1: もし仮にその茸が尋問するとすれば派遣期間である fact2: もし何らかのものは派遣期間だとすると「それは不許可でないかもしくは白雪であるかまたはどちらもである」ということは成り立たない fact3: 仮に「その茸は不許可でないかもしくは白雪である」ということは間違いであるならその近世期は不許可でない fact4: 「座り易いものは概説する」ということは本当である fact5: 仮にその近世期が大きいならあの巡回は概説する fact6: もしもあの低湿地が物凄ーくないとすればその茸は尋問するしそれは得度する fact7: もしあの巡回が大きいならその近世期は座り易い fact8: もし仮にその近世期が概説しないとすればあの巡回は大きい fact9: あの低湿地は物凄ーくない fact10: その近世期は財界人でない fact11: 仮にある物は不許可でないとしたら「それは攻撃力アップだしさらに再発し易い」ということは嘘である fact12: もし仮に「「攻撃力アップだし再発し易い」ということは成り立たない」ものがあるならあの巡回は概説する fact13: 仮に「概説する」ものがあるとすればその各艦艇は大きいしかつ座り易い
void -> assump2: 以下のように仮定する。「あの巡回は大きい」ということは確かである; fact7 & assump2 -> int1: その近世期は座り易い; fact4 -> int2: 仮に「その近世期は座り易い」ということは真実であるならば概説する; int1 & int2 -> int3: 「その近世期は概説する」ということは正しい; void -> assump1: 以下のように仮定する。その近世期は概説しない; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: あの巡回は大きくない; [assump1] & int5 -> hypothesis;
その各艦艇は大きい
fact18 -> int6: 仮にその近世期は不許可でないなら「攻撃力アップであるし加えて再発し易い」ということは嘘である; fact17 -> int7: 仮にその茸は派遣期間であるとすると「それは不許可でないかまたは白雪であるかあるいはどちらもだ」ということは成り立たない; fact21 & fact16 -> int8: その茸が尋問するしその上得度する; int8 -> int9: その茸は尋問する; fact14 & int9 -> int10: その茸は派遣期間である; int7 & int10 -> int11: 「その茸は不許可でないかあるいは白雪だ」ということは偽である; fact19 & int11 -> int12: その近世期は不許可でない; int6 & int12 -> int13: 「その近世期は攻撃力アップでおまけに再発し易い」ということは誤っている; int13 -> int14: 「「攻撃力アップだし更に再発し易い」ということは誤りな」物はある; int14 & fact20 -> int15: あの巡回は概説する; int15 -> int16: 「概説する」物はある; int16 & fact15 -> int17: その各艦艇は大きいししかも座り易い; int17 -> hypothesis;
$facts$ = fact1: もし仮にその茸が尋問するとすれば派遣期間である fact2: もし何らかのものは派遣期間だとすると「それは不許可でないかもしくは白雪であるかまたはどちらもである」ということは成り立たない fact3: 仮に「その茸は不許可でないかもしくは白雪である」ということは間違いであるならその近世期は不許可でない fact4: 「座り易いものは概説する」ということは本当である fact5: 仮にその近世期が大きいならあの巡回は概説する fact6: もしもあの低湿地が物凄ーくないとすればその茸は尋問するしそれは得度する fact7: もしあの巡回が大きいならその近世期は座り易い fact8: もし仮にその近世期が概説しないとすればあの巡回は大きい fact9: あの低湿地は物凄ーくない fact10: その近世期は財界人でない fact11: 仮にある物は不許可でないとしたら「それは攻撃力アップだしさらに再発し易い」ということは嘘である fact12: もし仮に「「攻撃力アップだし再発し易い」ということは成り立たない」ものがあるならあの巡回は概説する fact13: 仮に「概説する」ものがあるとすればその各艦艇は大きいしかつ座り易い ; $hypothesis$ = 「その近世期が概説しないならあの巡回は大きくない」ということは間違いである ; $proof$ = 
void -> assump2: 以下のように仮定する。「あの巡回は大きい」ということは確かである; fact7 & assump2 -> int1: その近世期は座り易い; fact4 -> int2: 仮に「その近世期は座り易い」ということは真実であるならば概説する; int1 & int2 -> int3: 「その近世期は概説する」ということは正しい; void -> assump1: 以下のように仮定する。その近世期は概説しない; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: あの巡回は大きくない; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: もし仮にその茸が尋問するとすれば派遣期間である
事実2: もし何らかのものは派遣期間だとすると「それは不許可でないかもしくは白雪であるかまたはどちらもである」ということは成り立たない
事実3: 仮に「その茸は不許可でないかもしくは白雪である」ということは間違いであるならその近世期は不許可でない
事実4: 「座り易いものは概説する」ということは本当である
事実5: 仮にその近世期が大きいならあの巡回は概説する
事実6: もしもあの低湿地が物凄ーくないとすればその茸は尋問するしそれは得度する
事実7: もしあの巡回が大きいならその近世期は座り易い
事実8: もし仮にその近世期が概説しないとすればあの巡回は大きい
事実9: あの低湿地は物凄ーくない
事実10: その近世期は財界人でない
事実11: 仮にある物は不許可でないとしたら「それは攻撃力アップだしさらに再発し易い」ということは嘘である
事実12: もし仮に「「攻撃力アップだし再発し易い」ということは成り立たない」ものがあるならあの巡回は概説する
事実13: 仮に「概説する」ものがあるとすればその各艦艇は大きいしかつ座り易い

仮説: 「その近世期が概説しないならあの巡回は大きくない」ということは間違いである
1. 仮定2: 以下のように仮定する。「あの巡回は大きい」ということは確かである
2. 事実7と仮定2から、推論1: "その近世期は座り易い"が導かれる
3. 事実4から、推論2: "仮に「その近世期は座り易い」ということは真実であるならば概説する"が導かれる
4. 推論1と推論2から、推論3: "「その近世期は概説する」ということは正しい"が導かれる
5. 仮定1: 以下のように仮定する。その近世期は概説しない
6. 推論3と仮定1から、推論4: "これは矛盾である"が導かれる
7. [仮定2]と推論4から、推論5: "あの巡回は大きくない"が導かれる
8. [仮定1]と推論5から、仮説が否定される

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