「「もしも「進学しない」ということは真実であるなら「自利でない一方で低声である」ということは成り立たない」ものはある」ということは事実と異なる
fact1: あるものはむさくないならば「それは感慨深くなくてまた含有する」ということは真実であるということはない fact2: 「おっかしくないなら「戦い取るということはないが勝ち進む」ということは成り立たない」物はある fact3: もし仮にこの鉄鉱石は進学しないならば「それが自利だしまた低声である」ということは成り立たない fact4: もしも「この鉄鉱石は進学しない」ということは成り立つとすれば「それは自利でないし低声だ」ということは誤りである fact5: もし仮に「その一般タブははしたないということはない」ということは正しいとすると「それは進学しないし新聞報道だ」ということは間違いである fact6: 「仮に進学するとすると「自利でないししかも低声である」ということは真実でない」ものはある fact7: 「進学するということはないとすると「自利でしかも低声である」ということは本当でない」ものはある fact8: 「もし進学しないとしたら自利でないし低声である」物はある fact9: 「仮に幕閣でないとすると「出現し易くないし最適自己負担率である」ということは成り立たない」ものはある fact10: 「あの裁判は多発しない」ということは成り立つとすれば「感慨深いということはないけれど添付である」ということは嘘である fact11: 「委員会活動でないとすれば「酷くない一方で浸る」ということは成り立たない」ものはある fact12: この鉄鉱石は群れ飛ばないならば「進学しなくてそれは感慨深い」ということは誤りである fact13: 「もし「戦い取らない」ということは成り立つとすれば「頼り無くないけれど評価額である」ということは成り立つということはない」物はある fact14: 仮にこの鉄鉱石は進学するとすれば「自利でないが低声だ」ということは成り立たない fact15: もしこの鉄鉱石が進学しないとしたらそれは自利でないがしかし低声である fact16: 「もし仮に上げ難くないなら「どでかくないしかつ本症である」ということは偽である」物はある fact17: 「もし新生産方法でないならば「観光客らしいということはないしさらに分解され難い」ということは誤りである」ものはある fact18: 「もしもこの鉄鉱石は進学するということはないとすると「この鉄鉱石は見極め難くないけど増殖培養する」ということは間違いである」ということは本当である
fact4 -> hypothesis;
「むさいということはないとすれば「感慨深いということはないけれど含有する」ということは嘘である」物はある
fact19 -> int1: もしもあの森林・林業基本法はむさくないならば「それは感慨深いということはないがしかし含有する」ということは誤りだ; int1 -> hypothesis;
$facts$ = fact1: あるものはむさくないならば「それは感慨深くなくてまた含有する」ということは真実であるということはない fact2: 「おっかしくないなら「戦い取るということはないが勝ち進む」ということは成り立たない」物はある fact3: もし仮にこの鉄鉱石は進学しないならば「それが自利だしまた低声である」ということは成り立たない fact4: もしも「この鉄鉱石は進学しない」ということは成り立つとすれば「それは自利でないし低声だ」ということは誤りである fact5: もし仮に「その一般タブははしたないということはない」ということは正しいとすると「それは進学しないし新聞報道だ」ということは間違いである fact6: 「仮に進学するとすると「自利でないししかも低声である」ということは真実でない」ものはある fact7: 「進学するということはないとすると「自利でしかも低声である」ということは本当でない」ものはある fact8: 「もし進学しないとしたら自利でないし低声である」物はある fact9: 「仮に幕閣でないとすると「出現し易くないし最適自己負担率である」ということは成り立たない」ものはある fact10: 「あの裁判は多発しない」ということは成り立つとすれば「感慨深いということはないけれど添付である」ということは嘘である fact11: 「委員会活動でないとすれば「酷くない一方で浸る」ということは成り立たない」ものはある fact12: この鉄鉱石は群れ飛ばないならば「進学しなくてそれは感慨深い」ということは誤りである fact13: 「もし「戦い取らない」ということは成り立つとすれば「頼り無くないけれど評価額である」ということは成り立つということはない」物はある fact14: 仮にこの鉄鉱石は進学するとすれば「自利でないが低声だ」ということは成り立たない fact15: もしこの鉄鉱石が進学しないとしたらそれは自利でないがしかし低声である fact16: 「もし仮に上げ難くないなら「どでかくないしかつ本症である」ということは偽である」物はある fact17: 「もし新生産方法でないならば「観光客らしいということはないしさらに分解され難い」ということは誤りである」ものはある fact18: 「もしもこの鉄鉱石は進学するということはないとすると「この鉄鉱石は見極め難くないけど増殖培養する」ということは間違いである」ということは本当である ; $hypothesis$ = 「「もしも「進学しない」ということは真実であるなら「自利でない一方で低声である」ということは成り立たない」ものはある」ということは事実と異なる ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: あるものはむさくないならば「それは感慨深くなくてまた含有する」ということは真実であるということはない
事実2: 「おっかしくないなら「戦い取るということはないが勝ち進む」ということは成り立たない」物はある
事実3: もし仮にこの鉄鉱石は進学しないならば「それが自利だしまた低声である」ということは成り立たない
事実4: もしも「この鉄鉱石は進学しない」ということは成り立つとすれば「それは自利でないし低声だ」ということは誤りである
事実5: もし仮に「その一般タブははしたないということはない」ということは正しいとすると「それは進学しないし新聞報道だ」ということは間違いである
事実6: 「仮に進学するとすると「自利でないししかも低声である」ということは真実でない」ものはある
事実7: 「進学するということはないとすると「自利でしかも低声である」ということは本当でない」ものはある
事実8: 「もし進学しないとしたら自利でないし低声である」物はある
事実9: 「仮に幕閣でないとすると「出現し易くないし最適自己負担率である」ということは成り立たない」ものはある
事実10: 「あの裁判は多発しない」ということは成り立つとすれば「感慨深いということはないけれど添付である」ということは嘘である
事実11: 「委員会活動でないとすれば「酷くない一方で浸る」ということは成り立たない」ものはある
事実12: この鉄鉱石は群れ飛ばないならば「進学しなくてそれは感慨深い」ということは誤りである
事実13: 「もし「戦い取らない」ということは成り立つとすれば「頼り無くないけれど評価額である」ということは成り立つということはない」物はある
事実14: 仮にこの鉄鉱石は進学するとすれば「自利でないが低声だ」ということは成り立たない
事実15: もしこの鉄鉱石が進学しないとしたらそれは自利でないがしかし低声である
事実16: 「もし仮に上げ難くないなら「どでかくないしかつ本症である」ということは偽である」物はある
事実17: 「もし新生産方法でないならば「観光客らしいということはないしさらに分解され難い」ということは誤りである」ものはある
事実18: 「もしもこの鉄鉱石は進学するということはないとすると「この鉄鉱石は見極め難くないけど増殖培養する」ということは間違いである」ということは本当である

仮説: 「「もしも「進学しない」ということは真実であるなら「自利でない一方で低声である」ということは成り立たない」ものはある」ということは事実と異なる
1. 事実4から、仮説が否定される

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