「もしも作業し易いしまた初代首相でないとすると歩き難くない」ものはある
fact1: 「もし仮にサムタイムで切なくないとすれば「雇用主でない」ということは確かな」物はある fact2: 「もし名状し難くて起こし為さらないならば灯し難くない」物はある fact3: この基盤は作業し易くて初代首相であるならばそれは歩き難くない fact4: 仮にこの基盤が心変わりする一方で恋しかないとすると「初代首相でない」ということは成り立つ fact5: 「仮に作業し易いしおまけに初代首相ならば歩き難くない」ものはある fact6: 「「麻酔前であるが追悼しない」ということは成り立てば最乗寺だということはない」ものはある fact7: 「仮にシェルスクリプトであるしさらにＩＦ関数だということはないならば正常者でない」ものはある fact8: 仮に答え易いものが口答えしないとしたらそれは香しかない fact9: 「もしも作業し易いししかも初代首相でないとしたら歩き難い」物はある fact10: 仮にこの基盤が作業し易いけれど初代首相だということはないとすれば歩き難い fact11: 仮に「この基盤は作業し易いけど初代首相でない」ということは成り立つとしたら「それは歩き難くない」ということは事実だ fact12: もし仮にこの基盤は松科であるがしかし順応し易くないとすると各オブジェクトでない
fact11 -> hypothesis;
「もし仮に答え易くておまけに口答えしないとすると「香しかない」ということは成り立つ」物はある
fact13 -> int1: もしもこのタバコ屋は答え易いけど口答えしないとすると香しかない; int1 -> hypothesis;
$facts$ = fact1: 「もし仮にサムタイムで切なくないとすれば「雇用主でない」ということは確かな」物はある fact2: 「もし名状し難くて起こし為さらないならば灯し難くない」物はある fact3: この基盤は作業し易くて初代首相であるならばそれは歩き難くない fact4: 仮にこの基盤が心変わりする一方で恋しかないとすると「初代首相でない」ということは成り立つ fact5: 「仮に作業し易いしおまけに初代首相ならば歩き難くない」ものはある fact6: 「「麻酔前であるが追悼しない」ということは成り立てば最乗寺だということはない」ものはある fact7: 「仮にシェルスクリプトであるしさらにＩＦ関数だということはないならば正常者でない」ものはある fact8: 仮に答え易いものが口答えしないとしたらそれは香しかない fact9: 「もしも作業し易いししかも初代首相でないとしたら歩き難い」物はある fact10: 仮にこの基盤が作業し易いけれど初代首相だということはないとすれば歩き難い fact11: 仮に「この基盤は作業し易いけど初代首相でない」ということは成り立つとしたら「それは歩き難くない」ということは事実だ fact12: もし仮にこの基盤は松科であるがしかし順応し易くないとすると各オブジェクトでない ; $hypothesis$ = 「もしも作業し易いしまた初代首相でないとすると歩き難くない」ものはある ; $proof$ = 
fact11 -> hypothesis; __PROVED__
事実1: 「もし仮にサムタイムで切なくないとすれば「雇用主でない」ということは確かな」物はある
事実2: 「もし名状し難くて起こし為さらないならば灯し難くない」物はある
事実3: この基盤は作業し易くて初代首相であるならばそれは歩き難くない
事実4: 仮にこの基盤が心変わりする一方で恋しかないとすると「初代首相でない」ということは成り立つ
事実5: 「仮に作業し易いしおまけに初代首相ならば歩き難くない」ものはある
事実6: 「「麻酔前であるが追悼しない」ということは成り立てば最乗寺だということはない」ものはある
事実7: 「仮にシェルスクリプトであるしさらにＩＦ関数だということはないならば正常者でない」ものはある
事実8: 仮に答え易いものが口答えしないとしたらそれは香しかない
事実9: 「もしも作業し易いししかも初代首相でないとしたら歩き難い」物はある
事実10: 仮にこの基盤が作業し易いけれど初代首相だということはないとすれば歩き難い
事実11: 仮に「この基盤は作業し易いけど初代首相でない」ということは成り立つとしたら「それは歩き難くない」ということは事実だ
事実12: もし仮にこの基盤は松科であるがしかし順応し易くないとすると各オブジェクトでない

仮説: 「もしも作業し易いしまた初代首相でないとすると歩き難くない」ものはある
1. 事実11から、仮説が導かれる

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