「仮に動揺し易くないとすれば擱座するということはないしその上静止するということはない」物はある
fact1: 仮にその鋸は動揺し易いなら「擱座しないし加えてそれは静止しない」ということは本当である fact2: 「姉ちゃん達でないならば如此しないしさらに往生出来ない」物はある fact3: もしもその鋸は動揺し易くないなら擱座しないし静止するということはない fact4: 仮に「その鋸は落ち合わない」ということは成り立てば左右され易くないしそれにバルパライソだということはない fact5: 「もし動揺し易くないとすると静止しない」ものはある fact6: 「もし仮に動揺し易くないならば擱座するし静止しない」ものはある fact7: 仮にその鋸は動揺し易くないなら「それは擱座しない」ということは成り立つ fact8: 「動揺し易いとすると擱座しないし静止しない」ものはある fact9: 「もし「動揺し易くない」ということは正しいとすれば擱座しないしそれに静止する」物はある fact10: 「もしも省察しないとすると若くない」ものはある fact11: 「仮に「聞き取り難くない」ということは成り立てばいかすし更に尊称しない」物はある fact12: 著しかない物は再結合しないしさらに動揺し易いということはない fact13: もし仮に「その鋸は動揺し易い」ということは誤っているとしたら擱座しないしその上それは静止する fact14: もしなにがしかのものが六冊目でないなら押し隠さなくていかさない fact15: もし仮に「その鋸は狭苦しくない」ということは成り立つとすればそれは用心深くなくて加えて静止しない fact16: 「もしも専門スタッフでないとすれば「落ち合わない」ということは成り立つ」物はある fact17: 「仮に清潔保持でないなら新学期だし躍り出ない」物はある fact18: 仮に何かは因り難くないとすると原著でないし通じ難くない fact19: 「動揺し易いということはないとすれば擱座しない」物はある
fact3 -> hypothesis;
「「六冊目でない」ということは確かならば押し隠さなくていかさない」物はある
fact20 -> int1: 仮にあのインド・ヨーロッパ語族が六冊目でないとすれば押し隠さなくて更にいかすということはない; int1 -> hypothesis;
$facts$ = fact1: 仮にその鋸は動揺し易いなら「擱座しないし加えてそれは静止しない」ということは本当である fact2: 「姉ちゃん達でないならば如此しないしさらに往生出来ない」物はある fact3: もしもその鋸は動揺し易くないなら擱座しないし静止するということはない fact4: 仮に「その鋸は落ち合わない」ということは成り立てば左右され易くないしそれにバルパライソだということはない fact5: 「もし動揺し易くないとすると静止しない」ものはある fact6: 「もし仮に動揺し易くないならば擱座するし静止しない」ものはある fact7: 仮にその鋸は動揺し易くないなら「それは擱座しない」ということは成り立つ fact8: 「動揺し易いとすると擱座しないし静止しない」ものはある fact9: 「もし「動揺し易くない」ということは正しいとすれば擱座しないしそれに静止する」物はある fact10: 「もしも省察しないとすると若くない」ものはある fact11: 「仮に「聞き取り難くない」ということは成り立てばいかすし更に尊称しない」物はある fact12: 著しかない物は再結合しないしさらに動揺し易いということはない fact13: もし仮に「その鋸は動揺し易い」ということは誤っているとしたら擱座しないしその上それは静止する fact14: もしなにがしかのものが六冊目でないなら押し隠さなくていかさない fact15: もし仮に「その鋸は狭苦しくない」ということは成り立つとすればそれは用心深くなくて加えて静止しない fact16: 「もしも専門スタッフでないとすれば「落ち合わない」ということは成り立つ」物はある fact17: 「仮に清潔保持でないなら新学期だし躍り出ない」物はある fact18: 仮に何かは因り難くないとすると原著でないし通じ難くない fact19: 「動揺し易いということはないとすれば擱座しない」物はある ; $hypothesis$ = 「仮に動揺し易くないとすれば擱座するということはないしその上静止するということはない」物はある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 仮にその鋸は動揺し易いなら「擱座しないし加えてそれは静止しない」ということは本当である
事実2: 「姉ちゃん達でないならば如此しないしさらに往生出来ない」物はある
事実3: もしもその鋸は動揺し易くないなら擱座しないし静止するということはない
事実4: 仮に「その鋸は落ち合わない」ということは成り立てば左右され易くないしそれにバルパライソだということはない
事実5: 「もし動揺し易くないとすると静止しない」ものはある
事実6: 「もし仮に動揺し易くないならば擱座するし静止しない」ものはある
事実7: 仮にその鋸は動揺し易くないなら「それは擱座しない」ということは成り立つ
事実8: 「動揺し易いとすると擱座しないし静止しない」ものはある
事実9: 「もし「動揺し易くない」ということは正しいとすれば擱座しないしそれに静止する」物はある
事実10: 「もしも省察しないとすると若くない」ものはある
事実11: 「仮に「聞き取り難くない」ということは成り立てばいかすし更に尊称しない」物はある
事実12: 著しかない物は再結合しないしさらに動揺し易いということはない
事実13: もし仮に「その鋸は動揺し易い」ということは誤っているとしたら擱座しないしその上それは静止する
事実14: もしなにがしかのものが六冊目でないなら押し隠さなくていかさない
事実15: もし仮に「その鋸は狭苦しくない」ということは成り立つとすればそれは用心深くなくて加えて静止しない
事実16: 「もしも専門スタッフでないとすれば「落ち合わない」ということは成り立つ」物はある
事実17: 「仮に清潔保持でないなら新学期だし躍り出ない」物はある
事実18: 仮に何かは因り難くないとすると原著でないし通じ難くない
事実19: 「動揺し易いということはないとすれば擱座しない」物はある

仮説: 「仮に動揺し易くないとすれば擱座するということはないしその上静止するということはない」物はある
1. 事実3から、仮説が導かれる

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