その発生場所は出演しない
fact1: この年降水量は尋ねる fact2: 仮にその発生場所が八圓儀器でないとすればこの年降水量は見達でなくておまけに観測しない fact3: もしも「この年降水量は尋ねるけど宣戦しない」ということは誤っているならその発生場所は尋ねる fact4: 等し物はバリカタンだ fact5: もしその発生場所が出演するとするとそれは八圓儀器でない fact6: もし仮にあるものが宣戦するとしたらそれはバリカタンだ fact7: もし仮にその発生場所は尋ねるとすれば「それは見達である」ということは本当だ fact8: このジオグラフィーは等し fact9: 仮になんらかのものが見達でないし観測しないなら尋ねるということはない fact10: もしこの年降水量はバリカタンであるとしたら「尋ねるしおまけに宣戦するということはない」ということは事実と異なる fact11: もしあの百席はバリカタンだとしたら「その報奨は見達でないし尋ねない」ということは正しい fact12: もし「このジオグラフィーは等し」ということは正しいとすると「あの百席は宣戦する」ということは事実である
void -> assump1: 以下のように仮定する。その発生場所は出演する; fact5 & assump1 -> int1: 「その発生場所は八圓儀器であるということはない」ということは本当だ; int1 & fact2 -> int2: この年降水量は見達でなくてそれにそれは観測するということはない; fact9 -> int3: もしもこの年降水量は見達でないし加えて観測しないとしたら尋ねない; int2 & int3 -> int4: この年降水量は尋ねるということはない; int4 & fact1 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
この合衆国憲法修正は八圓儀器でない
fact13 -> int6: この年降水量は等しならば「バリカタンだ」ということは真実である;
$facts$ = fact1: この年降水量は尋ねる fact2: 仮にその発生場所が八圓儀器でないとすればこの年降水量は見達でなくておまけに観測しない fact3: もしも「この年降水量は尋ねるけど宣戦しない」ということは誤っているならその発生場所は尋ねる fact4: 等し物はバリカタンだ fact5: もしその発生場所が出演するとするとそれは八圓儀器でない fact6: もし仮にあるものが宣戦するとしたらそれはバリカタンだ fact7: もし仮にその発生場所は尋ねるとすれば「それは見達である」ということは本当だ fact8: このジオグラフィーは等し fact9: 仮になんらかのものが見達でないし観測しないなら尋ねるということはない fact10: もしこの年降水量はバリカタンであるとしたら「尋ねるしおまけに宣戦するということはない」ということは事実と異なる fact11: もしあの百席はバリカタンだとしたら「その報奨は見達でないし尋ねない」ということは正しい fact12: もし「このジオグラフィーは等し」ということは正しいとすると「あの百席は宣戦する」ということは事実である ; $hypothesis$ = その発生場所は出演しない ; $proof$ = 
void -> assump1: 以下のように仮定する。その発生場所は出演する; fact5 & assump1 -> int1: 「その発生場所は八圓儀器であるということはない」ということは本当だ; int1 & fact2 -> int2: この年降水量は見達でなくてそれにそれは観測するということはない; fact9 -> int3: もしもこの年降水量は見達でないし加えて観測しないとしたら尋ねない; int2 & int3 -> int4: この年降水量は尋ねるということはない; int4 & fact1 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __PROVED__
事実1: この年降水量は尋ねる
事実2: 仮にその発生場所が八圓儀器でないとすればこの年降水量は見達でなくておまけに観測しない
事実3: もしも「この年降水量は尋ねるけど宣戦しない」ということは誤っているならその発生場所は尋ねる
事実4: 等し物はバリカタンだ
事実5: もしその発生場所が出演するとするとそれは八圓儀器でない
事実6: もし仮にあるものが宣戦するとしたらそれはバリカタンだ
事実7: もし仮にその発生場所は尋ねるとすれば「それは見達である」ということは本当だ
事実8: このジオグラフィーは等し
事実9: 仮になんらかのものが見達でないし観測しないなら尋ねるということはない
事実10: もしこの年降水量はバリカタンであるとしたら「尋ねるしおまけに宣戦するということはない」ということは事実と異なる
事実11: もしあの百席はバリカタンだとしたら「その報奨は見達でないし尋ねない」ということは正しい
事実12: もし「このジオグラフィーは等し」ということは正しいとすると「あの百席は宣戦する」ということは事実である

仮説: その発生場所は出演しない
1. 仮定1: 以下のように仮定する。その発生場所は出演する
2. 事実5と仮定1から、推論1: "「その発生場所は八圓儀器であるということはない」ということは本当だ"が導かれる
3. 推論1と事実2から、推論2: "この年降水量は見達でなくてそれにそれは観測するということはない"が導かれる
4. 事実9から、推論3: "もしもこの年降水量は見達でないし加えて観測しないとしたら尋ねない"が導かれる
5. 推論2と推論3から、推論4: "この年降水量は尋ねるということはない"が導かれる
6. 推論4と事実1から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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