「長くないならば「過ごし易くないし保持出来る」ということは成り立たない」物はある
fact1: 何かは安眠効果でないなら「それは賠償責任でない一方で切り詰める」ということは間違いである fact2: もしもなにかは長くないとしたら「それは過ごし易いしまた保持出来る」ということは成り立つということはない fact3: 「「もし仮に成立・発展しないならば「肝臓癌であるということはなくてそれに取り難い」ということは成り立たない」物はある」ということは事実である fact4: 「もし仮に「この会釈は御めでたくない」ということは真実であるとすると「この会釈はおっそろしない一方で育て易い」ということは事実と異なる」ということは間違っていない fact5: 「もしも「切り詰めない」ということは成り立つとすると「仮面劇だということはないしその上ネーミングする」ということは誤りな」物はある fact6: 長くないものは過ごし易くないがしかし保持出来る fact7: 「侮辱だということはないなら「漏れ易くないし更に法句経だ」ということは嘘である」物はある fact8: 「長くないとすると過ごし易くないしそれに保持出来る」物はある fact9: 「もし仮に「長い」ということは正しいとしたら「過ごし易くないし加えて保持出来る」ということは誤っている」ものはある fact10: 「もしも汚らわしくないならば「コントロールし易くないが少なし」ということは嘘な」ものはある fact11: 「もし仮に「盤でない」ということは正しいならば「しょぼくないが惜しい」ということは間違いである」ものはある fact12: もし「その未知はフェルトペンでない」ということは真実だとすれば「三手先でないしさらにそれは保持出来る」ということは成り立たない fact13: もし仮にこの会釈は長いということはないならば「過ごし易いしその上保持出来る」ということは成り立たない fact14: 「もしこの会釈はホームストレートでないならば「この会釈は過ごし易くない一方でそれは鳴き叫ぶ」ということは偽だ」ということは成り立つ fact15: もし仮にこの会釈が長くないとするとそれは過ごし易いということはないけど保持出来る fact16: もしもなにかは長いということはないとすると「それは過ごし易くないが保持出来る」ということは成り立たない fact17: 「もし仮に「辞去しない」ということは本当であるならば「解け易くないがしかし通り難い」ということは成り立たない」物はある fact18: 「仮に長くないとすると「過ごし易くて保持出来る」ということは成り立つということはない」ものはある fact19: 仮に何らかのものは長いなら「それは過ごし易いということはない一方で保持出来る」ということは成り立たない fact20: もし仮にこの会釈は長いなら「それは過ごし易くないしその上それは保持出来る」ということは間違いである fact21: 「もし分流しないとしたら「成立・発展しないが見辛い」ということは間違いである」ものはある
fact16 -> int1: この会釈は長いということはないとすると「それは過ごし易くないしおまけにそれは保持出来る」ということは成り立たない; int1 -> hypothesis;
$facts$ = fact1: 何かは安眠効果でないなら「それは賠償責任でない一方で切り詰める」ということは間違いである fact2: もしもなにかは長くないとしたら「それは過ごし易いしまた保持出来る」ということは成り立つということはない fact3: 「「もし仮に成立・発展しないならば「肝臓癌であるということはなくてそれに取り難い」ということは成り立たない」物はある」ということは事実である fact4: 「もし仮に「この会釈は御めでたくない」ということは真実であるとすると「この会釈はおっそろしない一方で育て易い」ということは事実と異なる」ということは間違っていない fact5: 「もしも「切り詰めない」ということは成り立つとすると「仮面劇だということはないしその上ネーミングする」ということは誤りな」物はある fact6: 長くないものは過ごし易くないがしかし保持出来る fact7: 「侮辱だということはないなら「漏れ易くないし更に法句経だ」ということは嘘である」物はある fact8: 「長くないとすると過ごし易くないしそれに保持出来る」物はある fact9: 「もし仮に「長い」ということは正しいとしたら「過ごし易くないし加えて保持出来る」ということは誤っている」ものはある fact10: 「もしも汚らわしくないならば「コントロールし易くないが少なし」ということは嘘な」ものはある fact11: 「もし仮に「盤でない」ということは正しいならば「しょぼくないが惜しい」ということは間違いである」ものはある fact12: もし「その未知はフェルトペンでない」ということは真実だとすれば「三手先でないしさらにそれは保持出来る」ということは成り立たない fact13: もし仮にこの会釈は長いということはないならば「過ごし易いしその上保持出来る」ということは成り立たない fact14: 「もしこの会釈はホームストレートでないならば「この会釈は過ごし易くない一方でそれは鳴き叫ぶ」ということは偽だ」ということは成り立つ fact15: もし仮にこの会釈が長くないとするとそれは過ごし易いということはないけど保持出来る fact16: もしもなにかは長いということはないとすると「それは過ごし易くないが保持出来る」ということは成り立たない fact17: 「もし仮に「辞去しない」ということは本当であるならば「解け易くないがしかし通り難い」ということは成り立たない」物はある fact18: 「仮に長くないとすると「過ごし易くて保持出来る」ということは成り立つということはない」ものはある fact19: 仮に何らかのものは長いなら「それは過ごし易いということはない一方で保持出来る」ということは成り立たない fact20: もし仮にこの会釈は長いなら「それは過ごし易くないしその上それは保持出来る」ということは間違いである fact21: 「もし分流しないとしたら「成立・発展しないが見辛い」ということは間違いである」ものはある ; $hypothesis$ = 「長くないならば「過ごし易くないし保持出来る」ということは成り立たない」物はある ; $proof$ = 
fact16 -> int1: この会釈は長いということはないとすると「それは過ごし易くないしおまけにそれは保持出来る」ということは成り立たない; int1 -> hypothesis; __PROVED__
事実1: 何かは安眠効果でないなら「それは賠償責任でない一方で切り詰める」ということは間違いである
事実2: もしもなにかは長くないとしたら「それは過ごし易いしまた保持出来る」ということは成り立つということはない
事実3: 「「もし仮に成立・発展しないならば「肝臓癌であるということはなくてそれに取り難い」ということは成り立たない」物はある」ということは事実である
事実4: 「もし仮に「この会釈は御めでたくない」ということは真実であるとすると「この会釈はおっそろしない一方で育て易い」ということは事実と異なる」ということは間違っていない
事実5: 「もしも「切り詰めない」ということは成り立つとすると「仮面劇だということはないしその上ネーミングする」ということは誤りな」物はある
事実6: 長くないものは過ごし易くないがしかし保持出来る
事実7: 「侮辱だということはないなら「漏れ易くないし更に法句経だ」ということは嘘である」物はある
事実8: 「長くないとすると過ごし易くないしそれに保持出来る」物はある
事実9: 「もし仮に「長い」ということは正しいとしたら「過ごし易くないし加えて保持出来る」ということは誤っている」ものはある
事実10: 「もしも汚らわしくないならば「コントロールし易くないが少なし」ということは嘘な」ものはある
事実11: 「もし仮に「盤でない」ということは正しいならば「しょぼくないが惜しい」ということは間違いである」ものはある
事実12: もし「その未知はフェルトペンでない」ということは真実だとすれば「三手先でないしさらにそれは保持出来る」ということは成り立たない
事実13: もし仮にこの会釈は長いということはないならば「過ごし易いしその上保持出来る」ということは成り立たない
事実14: 「もしこの会釈はホームストレートでないならば「この会釈は過ごし易くない一方でそれは鳴き叫ぶ」ということは偽だ」ということは成り立つ
事実15: もし仮にこの会釈が長くないとするとそれは過ごし易いということはないけど保持出来る
事実16: もしもなにかは長いということはないとすると「それは過ごし易くないが保持出来る」ということは成り立たない
事実17: 「もし仮に「辞去しない」ということは本当であるならば「解け易くないがしかし通り難い」ということは成り立たない」物はある
事実18: 「仮に長くないとすると「過ごし易くて保持出来る」ということは成り立つということはない」ものはある
事実19: 仮に何らかのものは長いなら「それは過ごし易いということはない一方で保持出来る」ということは成り立たない
事実20: もし仮にこの会釈は長いなら「それは過ごし易くないしその上それは保持出来る」ということは間違いである
事実21: 「もし分流しないとしたら「成立・発展しないが見辛い」ということは間違いである」ものはある

仮説: 「長くないならば「過ごし易くないし保持出来る」ということは成り立たない」物はある
1. 事実16から、推論1: "この会釈は長いということはないとすると「それは過ごし易くないしおまけにそれは保持出来る」ということは成り立たない"が導かれる
2. 推論1から、仮説が導かれる

よって、仮説が証明されました。