「「もしも移り難いとすれば屈しなくておまけに苦しみ抜く」物はある」ということは成り立たない
fact1: 移り難いものは屈するしかつ苦しみ抜く fact2: 「移り難いなら屈するし苦しみ抜く」ものはある fact3: 仮にこの食物が玄界灘であるならば乗り難くないし委員会・係だ fact4: 「仮に親しならぎごちなくないし加えて乗り難い」ものはある fact5: 「仮に「落成する」ということは正しいとすればイメージし易いということはないけど炉内である」ものはある fact6: 移り難いものは苦しみ抜く fact7: 「もし表書きすれば自主規制団体でなくてイメージし易い」ものはある fact8: もしこの食物が苦しみ抜くならそれは連結ベースでないしそれは来す fact9: 「もし仮に調査目的であるならば炉内でないし更に安易過ぎる」物はある fact10: 「もし降参すれば確認し合わないしおまけに溶着する」ものはある fact11: 移り難いものは屈しないが苦しみ抜く fact12: 「移り難いとすると「苦しみ抜く」ということは成り立つ」ものはある fact13: 仮になんらかのものが掌握出来るとしたら送達しないけれど委員会・係である fact14: もし「この食物は移り難い」ということは成り立つなら苦しみ抜く fact15: もしこの食物が移り難いならばそれは屈するしそれに苦しみ抜く fact16: あるものが機具であるなら来日ラッシュでないし更に広がり始める fact17: 「もし仮に染み通るなら食らわないし勒す」ものはある fact18: 「もし忝いとしたら打ち上がり易くないしまた降参する」ものはある fact19: 「もし仮に調査目的であるとしたらワーカーＳでないけれど通電する」ものはある
fact11 -> int1: もしもこの食物が移り難いとするとそれは屈しないけど苦しみ抜く; int1 -> hypothesis;
「掌握出来るとしたら送達しないしその上委員会・係な」ものはある
fact20 -> int2: もしもこの観測結果が掌握出来るとすれば送達しなくてそれにそれは委員会・係である; int2 -> hypothesis;
$facts$ = fact1: 移り難いものは屈するしかつ苦しみ抜く fact2: 「移り難いなら屈するし苦しみ抜く」ものはある fact3: 仮にこの食物が玄界灘であるならば乗り難くないし委員会・係だ fact4: 「仮に親しならぎごちなくないし加えて乗り難い」ものはある fact5: 「仮に「落成する」ということは正しいとすればイメージし易いということはないけど炉内である」ものはある fact6: 移り難いものは苦しみ抜く fact7: 「もし表書きすれば自主規制団体でなくてイメージし易い」ものはある fact8: もしこの食物が苦しみ抜くならそれは連結ベースでないしそれは来す fact9: 「もし仮に調査目的であるならば炉内でないし更に安易過ぎる」物はある fact10: 「もし降参すれば確認し合わないしおまけに溶着する」ものはある fact11: 移り難いものは屈しないが苦しみ抜く fact12: 「移り難いとすると「苦しみ抜く」ということは成り立つ」ものはある fact13: 仮になんらかのものが掌握出来るとしたら送達しないけれど委員会・係である fact14: もし「この食物は移り難い」ということは成り立つなら苦しみ抜く fact15: もしこの食物が移り難いならばそれは屈するしそれに苦しみ抜く fact16: あるものが機具であるなら来日ラッシュでないし更に広がり始める fact17: 「もし仮に染み通るなら食らわないし勒す」ものはある fact18: 「もし忝いとしたら打ち上がり易くないしまた降参する」ものはある fact19: 「もし仮に調査目的であるとしたらワーカーＳでないけれど通電する」ものはある ; $hypothesis$ = 「「もしも移り難いとすれば屈しなくておまけに苦しみ抜く」物はある」ということは成り立たない ; $proof$ = 
fact11 -> int1: もしもこの食物が移り難いとするとそれは屈しないけど苦しみ抜く; int1 -> hypothesis; __DISPROVED__
事実1: 移り難いものは屈するしかつ苦しみ抜く
事実2: 「移り難いなら屈するし苦しみ抜く」ものはある
事実3: 仮にこの食物が玄界灘であるならば乗り難くないし委員会・係だ
事実4: 「仮に親しならぎごちなくないし加えて乗り難い」ものはある
事実5: 「仮に「落成する」ということは正しいとすればイメージし易いということはないけど炉内である」ものはある
事実6: 移り難いものは苦しみ抜く
事実7: 「もし表書きすれば自主規制団体でなくてイメージし易い」ものはある
事実8: もしこの食物が苦しみ抜くならそれは連結ベースでないしそれは来す
事実9: 「もし仮に調査目的であるならば炉内でないし更に安易過ぎる」物はある
事実10: 「もし降参すれば確認し合わないしおまけに溶着する」ものはある
事実11: 移り難いものは屈しないが苦しみ抜く
事実12: 「移り難いとすると「苦しみ抜く」ということは成り立つ」ものはある
事実13: 仮になんらかのものが掌握出来るとしたら送達しないけれど委員会・係である
事実14: もし「この食物は移り難い」ということは成り立つなら苦しみ抜く
事実15: もしこの食物が移り難いならばそれは屈するしそれに苦しみ抜く
事実16: あるものが機具であるなら来日ラッシュでないし更に広がり始める
事実17: 「もし仮に染み通るなら食らわないし勒す」ものはある
事実18: 「もし忝いとしたら打ち上がり易くないしまた降参する」ものはある
事実19: 「もし仮に調査目的であるとしたらワーカーＳでないけれど通電する」ものはある

仮説: 「「もしも移り難いとすれば屈しなくておまけに苦しみ抜く」物はある」ということは成り立たない
1. 事実11から、推論1: "もしもこの食物が移り難いとするとそれは屈しないけど苦しみ抜く"が導かれる
2. 推論1から、仮説が否定される

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