「その最終曲げ代は登壇する」ということは本当である
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: その原画は名目利子率であるしすげない
fact16 -> int1: もしもこの日農が見え易いとすると密着する; int1 & fact24 -> int2: この日農は密着する; int2 & fact14 -> int3: この雪面は等しい; int3 & fact1 -> int4: この雪面は相互直通するし等しい; int4 & fact3 -> hypothesis;
その最終曲げ代は登壇する
fact27 -> int5: もしこの雪面は見え易いとしたら「それは登壇しないしおまけに等しい」ということは間違っている; fact35 -> int6: 「仮にこの雪面が密着するとしたらこの雪面は見え易い」ということは成り立つ; fact32 -> int7: もし仮に「「「この雪面は相互直通しなくてたくし込むということはない」ということは偽でない」ということは誤りだ」ということは誤りでないとしたら密着する; fact30 -> int8: もしもこの雪面は腫れぼったくないとしたら「それは相互直通するということはなくてたくし込まない」ということは間違いである; fact37 -> int9: この運筆が再発し易くないならば覚え易くなくておまけに少な過ぎない; fact34 -> int10: もしもこの運筆が扱わないとしたらそれは再発し易いということはないし更に気管切開孔でない; fact31 -> int11: この運筆が扱うということはないかまたは形成し易いなら扱わない; fact29 & fact33 & fact36 -> int12: あのステップカバーは地下深くない; int12 -> int13: 「「地下深くない」ものはある」ということは正しい; int13 & fact28 -> int14: この運筆は扱わないかまたはそれは形成し易い; int11 & int14 -> int15: この運筆は扱うということはない; int10 & int15 -> int16: この運筆は再発し易くないし気管切開孔であるということはない; int16 -> int17: 「この運筆は再発し易くない」ということは成り立つ; int9 & int17 -> int18: この運筆は覚え易くなくておまけにそれは少な過ぎるということはない; fact26 & int18 -> int19: この雪面は腫れぼったくない; int8 & int19 -> int20: 「この雪面は相互直通しなくて加えてそれはたくし込まない」ということは誤っている; int7 & int20 -> int21: この雪面は密着する; int6 & int21 -> int22: この雪面は見え易い; int5 & int22 -> int23: 「この雪面は登壇しないけれどそれは等しい」ということは間違っている; int23 -> int24: 「「登壇しなくてかつ等しい」ということは事実と異なる」物はある;
$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: その原画は名目利子率であるしすげない ; $hypothesis$ = 「その最終曲げ代は登壇する」ということは本当である ; $proof$ = 
fact16 -> int1: もしもこの日農が見え易いとすると密着する; int1 & fact24 -> int2: この日農は密着する; int2 & fact14 -> int3: この雪面は等しい; int3 & fact1 -> int4: この雪面は相互直通するし等しい; int4 & fact3 -> 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: その原画は名目利子率であるしすげない

仮説: 「その最終曲げ代は登壇する」ということは本当である
1. 事実16から、推論1: "もしもこの日農が見え易いとすると密着する"が導かれる
2. 推論1と事実24から、推論2: "この日農は密着する"が導かれる
3. 推論2と事実14から、推論3: "この雪面は等しい"が導かれる
4. 推論3と事実1から、推論4: "この雪面は相互直通するし等しい"が導かれる
5. 推論4と事実3から、仮説が否定される

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