そのアルスロデルマ属は大水でない
fact1: その御巫本日本書紀私記は権利関係である fact2: 仮にそのアルスロデルマ属が大水であるとしたらその御巫本日本書紀私記はオブジェクトスナップである fact3: もしとあるものが権利関係であるしかつそれがオブジェクトスナップであるならあの関税同盟は屯する fact4: あの関税同盟は雪深くて検証出来る fact5: 「何らかの物はオブジェクトスナップだ」ということは真実である fact6: その公共圏は屯しない fact7: もし仮になんらかの物は権利関係でないかまたは屯しないかもしくは両方であるならそれは権利関係でない fact8: 「権利関係である」物はある fact9: もし仮に「あの関税同盟は急行する」ということは真実ならその御巫本日本書紀私記は権利関係でないかあるいは屯しないかまたはどちらもである fact10: もし仮にそのアルスロデルマ属が屯するとすればあの関税同盟は大水である fact11: もしあの関税同盟が保管出来るなら急行する fact12: なんらかのものは天女像でまたそれはすげない fact13: あの関税同盟は屯しない
void -> assump1: 以下のように仮定する。そのアルスロデルマ属は大水である; fact2 & assump1 -> int1: その御巫本日本書紀私記はオブジェクトスナップだ; int1 & fact1 -> int2: その御巫本日本書紀私記は権利関係であるしその上それはオブジェクトスナップである; int2 -> int3: 何かは権利関係だしオブジェクトスナップである; int3 & fact3 -> int4: 「あの関税同盟は屯する」ということは成り立つ; int4 & fact13 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
そのアルスロデルマ属は大水だ
fact14 -> int6: 仮にその御巫本日本書紀私記は権利関係でないかあるいは屯しないかまたは両方であるとすればそれは権利関係でない;
$facts$ = fact1: その御巫本日本書紀私記は権利関係である fact2: 仮にそのアルスロデルマ属が大水であるとしたらその御巫本日本書紀私記はオブジェクトスナップである fact3: もしとあるものが権利関係であるしかつそれがオブジェクトスナップであるならあの関税同盟は屯する fact4: あの関税同盟は雪深くて検証出来る fact5: 「何らかの物はオブジェクトスナップだ」ということは真実である fact6: その公共圏は屯しない fact7: もし仮になんらかの物は権利関係でないかまたは屯しないかもしくは両方であるならそれは権利関係でない fact8: 「権利関係である」物はある fact9: もし仮に「あの関税同盟は急行する」ということは真実ならその御巫本日本書紀私記は権利関係でないかあるいは屯しないかまたはどちらもである fact10: もし仮にそのアルスロデルマ属が屯するとすればあの関税同盟は大水である fact11: もしあの関税同盟が保管出来るなら急行する fact12: なんらかのものは天女像でまたそれはすげない fact13: あの関税同盟は屯しない ; $hypothesis$ = そのアルスロデルマ属は大水でない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのアルスロデルマ属は大水である; fact2 & assump1 -> int1: その御巫本日本書紀私記はオブジェクトスナップだ; int1 & fact1 -> int2: その御巫本日本書紀私記は権利関係であるしその上それはオブジェクトスナップである; int2 -> int3: 何かは権利関係だしオブジェクトスナップである; int3 & fact3 -> int4: 「あの関税同盟は屯する」ということは成り立つ; int4 & fact13 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __PROVED__
事実1: その御巫本日本書紀私記は権利関係である
事実2: 仮にそのアルスロデルマ属が大水であるとしたらその御巫本日本書紀私記はオブジェクトスナップである
事実3: もしとあるものが権利関係であるしかつそれがオブジェクトスナップであるならあの関税同盟は屯する
事実4: あの関税同盟は雪深くて検証出来る
事実5: 「何らかの物はオブジェクトスナップだ」ということは真実である
事実6: その公共圏は屯しない
事実7: もし仮になんらかの物は権利関係でないかまたは屯しないかもしくは両方であるならそれは権利関係でない
事実8: 「権利関係である」物はある
事実9: もし仮に「あの関税同盟は急行する」ということは真実ならその御巫本日本書紀私記は権利関係でないかあるいは屯しないかまたはどちらもである
事実10: もし仮にそのアルスロデルマ属が屯するとすればあの関税同盟は大水である
事実11: もしあの関税同盟が保管出来るなら急行する
事実12: なんらかのものは天女像でまたそれはすげない
事実13: あの関税同盟は屯しない

仮説: そのアルスロデルマ属は大水でない
1. 仮定1: 以下のように仮定する。そのアルスロデルマ属は大水である
2. 事実2と仮定1から、推論1: "その御巫本日本書紀私記はオブジェクトスナップだ"が導かれる
3. 推論1と事実1から、推論2: "その御巫本日本書紀私記は権利関係であるしその上それはオブジェクトスナップである"が導かれる
4. 推論2から、推論3: "何かは権利関係だしオブジェクトスナップである"が導かれる
5. 推論3と事実3から、推論4: "「あの関税同盟は屯する」ということは成り立つ"が導かれる
6. 推論4と事実13から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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