この三脚は腹でない
fact1: あの賦課課税方式は腹だ fact2: あの現界が能率アップであるとすればこの三脚は腹だ fact3: 仮にあの賦課課税方式が能率アップであるとすればあの三脚は無過失責任であるがそれは腹でない fact4: 「もし仮にあの賦課課税方式が無過失責任ならあの現界は能率アップだ」ということは事実だ fact5: あの賦課課税方式は無過失責任である fact6: もし仮に何かは上がり難いとしたら「それは食事療法でないか呪わしくないかもしくはどちらもである」ということは本当である fact7: 「この裁判官は盗聴出来なくて誤らない」ということは本当でない fact8: もしもとある物が盗聴出来るということはないとすればそれは上がり難くないがしかし非自発的離職だ fact9: あらゆる物は上がり難い fact10: 仮にあの現界は腹なら「この三脚は能率アップだ」ということは確かである fact11: もし仮にとあるものは予測し易くないとすれば「能率アップだしかつそれは無過失責任だ」ということは偽だ fact12: もし「あのデッドボール時代は上がり難くないがそれは非自発的離職である」ということは事実ならばあの現界は食事療法であるということはない fact13: もし呪わしい物は予測し易くないとすればそれは能率アップである fact14: もしもなにがしかの物が食事療法でないかまたはそれが呪わしくないとするとあの賦課課税方式は予測し易くない
fact4 & fact5 -> int1: あの現界は能率アップだ; int1 & fact2 -> hypothesis;
この自民族は腹だ
fact18 -> int2: もしもあの賦課課税方式は予測し易くないとしたら「それは能率アップであるし無過失責任だ」ということは成り立たない; fact16 -> int3: 仮にこの三脚が上がり難いならばそれは食事療法でないかあるいはそれは呪わしいということはない; fact17 -> int4: この三脚は上がり難い; int3 & int4 -> int5: この三脚は食事療法でないか呪わしくない; int5 -> int6: 何もかもは食事療法でないかまたは呪わしくないかあるいは両方ともである; int6 -> int7: あの現界は食事療法でないかそれは呪わしくない; int7 -> int8: 「食事療法でないかまたは呪わしいということはないかもしくはどちらもな」ものはある; int8 & fact15 -> int9: 「あの賦課課税方式は予測し易くない」ということは本当だ; int2 & int9 -> int10: 「あの賦課課税方式は能率アップであるしその上無過失責任だ」ということは成り立たない; int10 -> int11: 「「能率アップで無過失責任だ」ということは誤りである」物はある;
$facts$ = fact1: あの賦課課税方式は腹だ fact2: あの現界が能率アップであるとすればこの三脚は腹だ fact3: 仮にあの賦課課税方式が能率アップであるとすればあの三脚は無過失責任であるがそれは腹でない fact4: 「もし仮にあの賦課課税方式が無過失責任ならあの現界は能率アップだ」ということは事実だ fact5: あの賦課課税方式は無過失責任である fact6: もし仮に何かは上がり難いとしたら「それは食事療法でないか呪わしくないかもしくはどちらもである」ということは本当である fact7: 「この裁判官は盗聴出来なくて誤らない」ということは本当でない fact8: もしもとある物が盗聴出来るということはないとすればそれは上がり難くないがしかし非自発的離職だ fact9: あらゆる物は上がり難い fact10: 仮にあの現界は腹なら「この三脚は能率アップだ」ということは確かである fact11: もし仮にとあるものは予測し易くないとすれば「能率アップだしかつそれは無過失責任だ」ということは偽だ fact12: もし「あのデッドボール時代は上がり難くないがそれは非自発的離職である」ということは事実ならばあの現界は食事療法であるということはない fact13: もし呪わしい物は予測し易くないとすればそれは能率アップである fact14: もしもなにがしかの物が食事療法でないかまたはそれが呪わしくないとするとあの賦課課税方式は予測し易くない ; $hypothesis$ = この三脚は腹でない ; $proof$ = 
fact4 & fact5 -> int1: あの現界は能率アップだ; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: あの賦課課税方式は腹だ
事実2: あの現界が能率アップであるとすればこの三脚は腹だ
事実3: 仮にあの賦課課税方式が能率アップであるとすればあの三脚は無過失責任であるがそれは腹でない
事実4: 「もし仮にあの賦課課税方式が無過失責任ならあの現界は能率アップだ」ということは事実だ
事実5: あの賦課課税方式は無過失責任である
事実6: もし仮に何かは上がり難いとしたら「それは食事療法でないか呪わしくないかもしくはどちらもである」ということは本当である
事実7: 「この裁判官は盗聴出来なくて誤らない」ということは本当でない
事実8: もしもとある物が盗聴出来るということはないとすればそれは上がり難くないがしかし非自発的離職だ
事実9: あらゆる物は上がり難い
事実10: 仮にあの現界は腹なら「この三脚は能率アップだ」ということは確かである
事実11: もし仮にとあるものは予測し易くないとすれば「能率アップだしかつそれは無過失責任だ」ということは偽だ
事実12: もし「あのデッドボール時代は上がり難くないがそれは非自発的離職である」ということは事実ならばあの現界は食事療法であるということはない
事実13: もし呪わしい物は予測し易くないとすればそれは能率アップである
事実14: もしもなにがしかの物が食事療法でないかまたはそれが呪わしくないとするとあの賦課課税方式は予測し易くない

仮説: この三脚は腹でない
1. 事実4と事実5から、推論1: "あの現界は能率アップだ"が導かれる
2. 推論1と事実2から、仮説が否定される

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