あの力瘤は脱獄囚達だ
fact1: 仮にあの王朝都市論が厚意だということはないかあるいはぱりぱりするかあるいは両方ともであるとすればその養老令は機械導入でない fact2: あの力瘤は当該発明だということはないなら「その養老令は厚意だ一方でぱりぱりしない」ということは偽だ fact3: 仮に何かは逃げ果せるとするとそれは当該発明でないかあるいはぱりぱりしないか両方である fact4: その養老令は二年半だ fact5: もし「その再起不能は逃げ果せる」ということは間違いでないとするとその養老令は逃げ果せる fact6: 憎しｕＶＷマップがあればその再起不能は二年半でない fact7: 仮になにかはバックするし逃げ果せるとしたらその再起不能は二年半でない fact8: 「なにかはＵＶＷマップでまた憎し」ということは成り立つ fact9: なにがしかのものは当該発明でそれはバックする fact10: あの力瘤はバックしない fact11: もしも「そのマザーグースはＵＶＷマップでない」ということは正しいならそれは二年半であるし更にバックする fact12: なにかは当該発明でないならそれは逃げ果せない fact13: もし仮にあの力瘤がバックしないかもしくはそれが機械導入だとすればあの養老令は逃げ果せない fact14: 「厚意であるし二年半である」物はある fact15: 仮にその養老令が厚意であるとするとあの力瘤は脱獄囚達である fact16: あの王朝都市論が当該発明ならばそれは厚意でないかまたはぱりぱりするか両方ともである fact17: あの力瘤は逃げ果せないかまたは脱獄囚達であるか両方ともである fact18: もしもそのマザーグースが二年半だとしたらあの力瘤はバックする fact19: もし仮にその養老令が当該発明でないかあるいはぱりぱりしないかもしくは両方ともであるならあの力瘤は当該発明でない fact20: もしその養老令が機械導入でないとすればあの力瘤は脱獄囚達でないし更にバックしない fact21: 「「その養老令は厚意であるがぱりぱりしない」ということは成り立つ」ということは偽であるとするとその再起不能はぱりぱりしない fact22: その養老令は憎し fact23: もしも何かはバックすればそれは機械導入でないけど脱獄囚達だ fact24: 「その再起不能は厚意でない」ということは確かである fact25: もしあの王朝都市論が当該発明だとすれば脱獄囚達でないかバックするかあるいはどちらもだ fact26: 仮に「なんらかのものは厚意でない」ということは本当であるとすると脱獄囚達だ fact27: もしその再起不能が二年半でないとしたらあの王朝都市論は逃げ果せる
fact12 -> int1: 「仮にあの王朝都市論が当該発明でないならばあの王朝都市論は逃げ果せない」ということは本当だ; void -> assump1: 以下のように仮定する。あの王朝都市論は当該発明でない; int1 & assump1 -> int2: あの王朝都市論は逃げ果せない; fact8 & fact6 -> int3: その再起不能は二年半でない; int3 & fact27 -> int4: あの王朝都市論は逃げ果せる; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの王朝都市論は当該発明だ; int6 & fact16 -> int7: あの王朝都市論は厚意でないかぱりぱりする; int7 & fact1 -> int8: その養老令は機械導入でない; int8 & fact20 -> int9: あの力瘤は脱獄囚達でなくておまけにそれはバックするということはない; int9 -> hypothesis;
あの力瘤は脱獄囚達だ
fact29 -> int10: 仮にあの力瘤は厚意であるということはないならば脱獄囚達だ; fact32 -> int11: もし「その養老令は逃げ果せない」ということは間違いだとすると当該発明でないかもしくはそれはぱりぱりしない;
$facts$ = fact1: 仮にあの王朝都市論が厚意だということはないかあるいはぱりぱりするかあるいは両方ともであるとすればその養老令は機械導入でない fact2: あの力瘤は当該発明だということはないなら「その養老令は厚意だ一方でぱりぱりしない」ということは偽だ fact3: 仮に何かは逃げ果せるとするとそれは当該発明でないかあるいはぱりぱりしないか両方である fact4: その養老令は二年半だ fact5: もし「その再起不能は逃げ果せる」ということは間違いでないとするとその養老令は逃げ果せる fact6: 憎しｕＶＷマップがあればその再起不能は二年半でない fact7: 仮になにかはバックするし逃げ果せるとしたらその再起不能は二年半でない fact8: 「なにかはＵＶＷマップでまた憎し」ということは成り立つ fact9: なにがしかのものは当該発明でそれはバックする fact10: あの力瘤はバックしない fact11: もしも「そのマザーグースはＵＶＷマップでない」ということは正しいならそれは二年半であるし更にバックする fact12: なにかは当該発明でないならそれは逃げ果せない fact13: もし仮にあの力瘤がバックしないかもしくはそれが機械導入だとすればあの養老令は逃げ果せない fact14: 「厚意であるし二年半である」物はある fact15: 仮にその養老令が厚意であるとするとあの力瘤は脱獄囚達である fact16: あの王朝都市論が当該発明ならばそれは厚意でないかまたはぱりぱりするか両方ともである fact17: あの力瘤は逃げ果せないかまたは脱獄囚達であるか両方ともである fact18: もしもそのマザーグースが二年半だとしたらあの力瘤はバックする fact19: もし仮にその養老令が当該発明でないかあるいはぱりぱりしないかもしくは両方ともであるならあの力瘤は当該発明でない fact20: もしその養老令が機械導入でないとすればあの力瘤は脱獄囚達でないし更にバックしない fact21: 「「その養老令は厚意であるがぱりぱりしない」ということは成り立つ」ということは偽であるとするとその再起不能はぱりぱりしない fact22: その養老令は憎し fact23: もしも何かはバックすればそれは機械導入でないけど脱獄囚達だ fact24: 「その再起不能は厚意でない」ということは確かである fact25: もしあの王朝都市論が当該発明だとすれば脱獄囚達でないかバックするかあるいはどちらもだ fact26: 仮に「なんらかのものは厚意でない」ということは本当であるとすると脱獄囚達だ fact27: もしその再起不能が二年半でないとしたらあの王朝都市論は逃げ果せる ; $hypothesis$ = あの力瘤は脱獄囚達だ ; $proof$ = 
fact12 -> int1: 「仮にあの王朝都市論が当該発明でないならばあの王朝都市論は逃げ果せない」ということは本当だ; void -> assump1: 以下のように仮定する。あの王朝都市論は当該発明でない; int1 & assump1 -> int2: あの王朝都市論は逃げ果せない; fact8 & fact6 -> int3: その再起不能は二年半でない; int3 & fact27 -> int4: あの王朝都市論は逃げ果せる; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの王朝都市論は当該発明だ; int6 & fact16 -> int7: あの王朝都市論は厚意でないかぱりぱりする; int7 & fact1 -> int8: その養老令は機械導入でない; int8 & fact20 -> int9: あの力瘤は脱獄囚達でなくておまけにそれはバックするということはない; int9 -> hypothesis; __DISPROVED__
事実1: 仮にあの王朝都市論が厚意だということはないかあるいはぱりぱりするかあるいは両方ともであるとすればその養老令は機械導入でない
事実2: あの力瘤は当該発明だということはないなら「その養老令は厚意だ一方でぱりぱりしない」ということは偽だ
事実3: 仮に何かは逃げ果せるとするとそれは当該発明でないかあるいはぱりぱりしないか両方である
事実4: その養老令は二年半だ
事実5: もし「その再起不能は逃げ果せる」ということは間違いでないとするとその養老令は逃げ果せる
事実6: 憎しｕＶＷマップがあればその再起不能は二年半でない
事実7: 仮になにかはバックするし逃げ果せるとしたらその再起不能は二年半でない
事実8: 「なにかはＵＶＷマップでまた憎し」ということは成り立つ
事実9: なにがしかのものは当該発明でそれはバックする
事実10: あの力瘤はバックしない
事実11: もしも「そのマザーグースはＵＶＷマップでない」ということは正しいならそれは二年半であるし更にバックする
事実12: なにかは当該発明でないならそれは逃げ果せない
事実13: もし仮にあの力瘤がバックしないかもしくはそれが機械導入だとすればあの養老令は逃げ果せない
事実14: 「厚意であるし二年半である」物はある
事実15: 仮にその養老令が厚意であるとするとあの力瘤は脱獄囚達である
事実16: あの王朝都市論が当該発明ならばそれは厚意でないかまたはぱりぱりするか両方ともである
事実17: あの力瘤は逃げ果せないかまたは脱獄囚達であるか両方ともである
事実18: もしもそのマザーグースが二年半だとしたらあの力瘤はバックする
事実19: もし仮にその養老令が当該発明でないかあるいはぱりぱりしないかもしくは両方ともであるならあの力瘤は当該発明でない
事実20: もしその養老令が機械導入でないとすればあの力瘤は脱獄囚達でないし更にバックしない
事実21: 「「その養老令は厚意であるがぱりぱりしない」ということは成り立つ」ということは偽であるとするとその再起不能はぱりぱりしない
事実22: その養老令は憎し
事実23: もしも何かはバックすればそれは機械導入でないけど脱獄囚達だ
事実24: 「その再起不能は厚意でない」ということは確かである
事実25: もしあの王朝都市論が当該発明だとすれば脱獄囚達でないかバックするかあるいはどちらもだ
事実26: 仮に「なんらかのものは厚意でない」ということは本当であるとすると脱獄囚達だ
事実27: もしその再起不能が二年半でないとしたらあの王朝都市論は逃げ果せる

仮説: あの力瘤は脱獄囚達だ
1. 事実12から、推論1: "「仮にあの王朝都市論が当該発明でないならばあの王朝都市論は逃げ果せない」ということは本当だ"が導かれる
2. 仮定1: 以下のように仮定する。あの王朝都市論は当該発明でない
3. 推論1と仮定1から、推論2: "あの王朝都市論は逃げ果せない"が導かれる
4. 事実8と事実6から、推論3: "その再起不能は二年半でない"が導かれる
5. 推論3と事実27から、推論4: "あの王朝都市論は逃げ果せる"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あの王朝都市論は当該発明だ"が導かれる
8. 推論6と事実16から、推論7: "あの王朝都市論は厚意でないかぱりぱりする"が導かれる
9. 推論7と事実1から、推論8: "その養老令は機械導入でない"が導かれる
10. 推論8と事実20から、推論9: "あの力瘤は脱獄囚達でなくておまけにそれはバックするということはない"が導かれる
11. 推論9から、仮説が否定される

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