あの邦貨換算は乗り入れる
fact1: その台詞は電気配線だ fact2: 仮に「「賦存量でしかも乗り入れない」ということは誤りな」ものがあるとすればその台詞は過去・現在・未来でない fact3: もしあるものは手強くないならば「乗り入れないけど電気配線だ」ということは成り立たない fact4: 「その引き続きは賦存量だ一方でそれは言い出し難くない」ということは間違っているとすると過去・現在・未来でない fact5: もしその引き続きが極まり悪くないとするとその掛け布団は製法特許等だ fact6: 仮にその台詞が電気配線だとするとその引き続きは手強い fact7: その引き続きが乗り入れるけれど書面投票制度でないならばあの邦貨換算は手強くない fact8: もし仮に「何らかの物は乗り入れない一方でそれは電気配線である」ということは成り立たないとすればそれは乗り入れる fact9: もしも「言い出し難い」物はあるとすれば「その引き続きは電気配線でなくてそれは賦存量でない」ということは真実だ fact10: なにかは過去・現在・未来でないとしたらそれは製法特許等でない fact11: もし仮にその占有離脱物は賦存量でなくてしかも過去・現在・未来でないならば「あの邦貨換算は乗り入れるということはない」ということは本当だ fact12: 仮に「「手強いということはなくて書面投票制度である」ということは嘘な」物があるとすればその祟りは電気配線である fact13: その占有離脱物は染みる fact14: もし仮になんらかの物が製法特許等であるとするとその占有離脱物は賦存量でなくて過去・現在・未来でない fact15: もしもその引き続きが過去・現在・未来であるということはないとしたらその台詞は製法特許等でないしかつそれは極まり悪くない fact16: 仮にその台詞は製法特許等だということはないとしたら「手強くないが書面投票制度だ」ということは間違っている fact17: もしも書面投票制度は手強いならば「極まり悪くない」ということは真実である fact18: その引き続きは書面投票制度であるしまた言い出し難い fact19: もしもその台詞は極まり悪くないならば「それは手強くてそれにそれは書面投票制度である」ということは偽である fact20: もしもその引き続きは言い出し難くないとすると「それは賦存量だが乗り入れない」ということは成り立たない fact21: もしも製法特許等が手強いならそれは電気配線でない
fact6 & fact1 -> int1: その引き続きは手強い; fact18 -> int2: 「その引き続きは書面投票制度でない」ということは間違いである; int1 & int2 -> int3: その引き続きは書面投票制度で手強い; fact17 -> int4: もしもその引き続きは書面投票制度で手強いとすれば極まり悪くない; int3 & int4 -> int5: その引き続きは極まり悪くない; int5 & fact5 -> int6: その掛け布団は製法特許等だ; int6 -> int7: 「製法特許等である」ものはある; int7 & fact14 -> int8: その占有離脱物は賦存量でなくてそれに過去・現在・未来でない; int8 & fact11 -> hypothesis;
その祟りは極まり悪い
fact22 -> int9: もしもその台詞が過去・現在・未来でないとすればそれは製法特許等でない;
$facts$ = fact1: その台詞は電気配線だ fact2: 仮に「「賦存量でしかも乗り入れない」ということは誤りな」ものがあるとすればその台詞は過去・現在・未来でない fact3: もしあるものは手強くないならば「乗り入れないけど電気配線だ」ということは成り立たない fact4: 「その引き続きは賦存量だ一方でそれは言い出し難くない」ということは間違っているとすると過去・現在・未来でない fact5: もしその引き続きが極まり悪くないとするとその掛け布団は製法特許等だ fact6: 仮にその台詞が電気配線だとするとその引き続きは手強い fact7: その引き続きが乗り入れるけれど書面投票制度でないならばあの邦貨換算は手強くない fact8: もし仮に「何らかの物は乗り入れない一方でそれは電気配線である」ということは成り立たないとすればそれは乗り入れる fact9: もしも「言い出し難い」物はあるとすれば「その引き続きは電気配線でなくてそれは賦存量でない」ということは真実だ fact10: なにかは過去・現在・未来でないとしたらそれは製法特許等でない fact11: もし仮にその占有離脱物は賦存量でなくてしかも過去・現在・未来でないならば「あの邦貨換算は乗り入れるということはない」ということは本当だ fact12: 仮に「「手強いということはなくて書面投票制度である」ということは嘘な」物があるとすればその祟りは電気配線である fact13: その占有離脱物は染みる fact14: もし仮になんらかの物が製法特許等であるとするとその占有離脱物は賦存量でなくて過去・現在・未来でない fact15: もしもその引き続きが過去・現在・未来であるということはないとしたらその台詞は製法特許等でないしかつそれは極まり悪くない fact16: 仮にその台詞は製法特許等だということはないとしたら「手強くないが書面投票制度だ」ということは間違っている fact17: もしも書面投票制度は手強いならば「極まり悪くない」ということは真実である fact18: その引き続きは書面投票制度であるしまた言い出し難い fact19: もしもその台詞は極まり悪くないならば「それは手強くてそれにそれは書面投票制度である」ということは偽である fact20: もしもその引き続きは言い出し難くないとすると「それは賦存量だが乗り入れない」ということは成り立たない fact21: もしも製法特許等が手強いならそれは電気配線でない ; $hypothesis$ = あの邦貨換算は乗り入れる ; $proof$ = 
fact6 & fact1 -> int1: その引き続きは手強い; fact18 -> int2: 「その引き続きは書面投票制度でない」ということは間違いである; int1 & int2 -> int3: その引き続きは書面投票制度で手強い; fact17 -> int4: もしもその引き続きは書面投票制度で手強いとすれば極まり悪くない; int3 & int4 -> int5: その引き続きは極まり悪くない; int5 & fact5 -> int6: その掛け布団は製法特許等だ; int6 -> int7: 「製法特許等である」ものはある; int7 & fact14 -> int8: その占有離脱物は賦存量でなくてそれに過去・現在・未来でない; int8 & fact11 -> hypothesis; __DISPROVED__
事実1: その台詞は電気配線だ
事実2: 仮に「「賦存量でしかも乗り入れない」ということは誤りな」ものがあるとすればその台詞は過去・現在・未来でない
事実3: もしあるものは手強くないならば「乗り入れないけど電気配線だ」ということは成り立たない
事実4: 「その引き続きは賦存量だ一方でそれは言い出し難くない」ということは間違っているとすると過去・現在・未来でない
事実5: もしその引き続きが極まり悪くないとするとその掛け布団は製法特許等だ
事実6: 仮にその台詞が電気配線だとするとその引き続きは手強い
事実7: その引き続きが乗り入れるけれど書面投票制度でないならばあの邦貨換算は手強くない
事実8: もし仮に「何らかの物は乗り入れない一方でそれは電気配線である」ということは成り立たないとすればそれは乗り入れる
事実9: もしも「言い出し難い」物はあるとすれば「その引き続きは電気配線でなくてそれは賦存量でない」ということは真実だ
事実10: なにかは過去・現在・未来でないとしたらそれは製法特許等でない
事実11: もし仮にその占有離脱物は賦存量でなくてしかも過去・現在・未来でないならば「あの邦貨換算は乗り入れるということはない」ということは本当だ
事実12: 仮に「「手強いということはなくて書面投票制度である」ということは嘘な」物があるとすればその祟りは電気配線である
事実13: その占有離脱物は染みる
事実14: もし仮になんらかの物が製法特許等であるとするとその占有離脱物は賦存量でなくて過去・現在・未来でない
事実15: もしもその引き続きが過去・現在・未来であるということはないとしたらその台詞は製法特許等でないしかつそれは極まり悪くない
事実16: 仮にその台詞は製法特許等だということはないとしたら「手強くないが書面投票制度だ」ということは間違っている
事実17: もしも書面投票制度は手強いならば「極まり悪くない」ということは真実である
事実18: その引き続きは書面投票制度であるしまた言い出し難い
事実19: もしもその台詞は極まり悪くないならば「それは手強くてそれにそれは書面投票制度である」ということは偽である
事実20: もしもその引き続きは言い出し難くないとすると「それは賦存量だが乗り入れない」ということは成り立たない
事実21: もしも製法特許等が手強いならそれは電気配線でない

仮説: あの邦貨換算は乗り入れる
1. 事実6と事実1から、推論1: "その引き続きは手強い"が導かれる
2. 事実18から、推論2: "「その引き続きは書面投票制度でない」ということは間違いである"が導かれる
3. 推論1と推論2から、推論3: "その引き続きは書面投票制度で手強い"が導かれる
4. 事実17から、推論4: "もしもその引き続きは書面投票制度で手強いとすれば極まり悪くない"が導かれる
5. 推論3と推論4から、推論5: "その引き続きは極まり悪くない"が導かれる
6. 推論5と事実5から、推論6: "その掛け布団は製法特許等だ"が導かれる
7. 推論6から、推論7: "「製法特許等である」ものはある"が導かれる
8. 推論7と事実14から、推論8: "その占有離脱物は賦存量でなくてそれに過去・現在・未来でない"が導かれる
9. 推論8と事実11から、仮説が否定される

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