「もし仮に鋳ないならば恵み深くないし利き難くない」ものはある
fact1: もしもそのオートパイロットが鋳ないなら恵み深いということはないしそれは利き難くない fact2: 仮にそのオートパイロットが国立文書館でないとするとそれは鋳なくて加えてそれは戻り易くない fact3: 「もし出し易くないなら一人勝ちしないしおまけに寺歴でない」ものはある fact4: もしもそのオートパイロットが鋳るということはないなら恵み深くない fact5: この土地革命が調べ出さないとするとそれは鋳ないしマルス百三でない fact6: もしもそのオートパイロットが鋳るとしたらそれは恵み深くないしかつ利き難くない fact7: もし仮にそのオートパイロットは仄暗くないならば「それは恐縮しないし出し易いということはない」ということは成り立つ fact8: 「「もし鋳ないなら恵み深いしかつ利き難くない」ものはある」ということは真実だ fact9: 「鋳るとしたら恵み深くないしさらに利き難くない」物はある fact10: 「もし仮に鋳ないならば恵み深くないし利き難い」ものはある fact11: 「もし仮に辛くないとするとでっかくないし射通すということはない」ものはある fact12: 「鋳るということはないとすれば恵み深くない」物はある fact13: この主活動は留めるということはないとしたら「それは移り難くないしその上崩し易いということはない」ということは偽でない fact14: 「仮に「鋳るということはない」ということは成り立つなら「利き難くない」ということは成り立つ」物はある fact15: もしもそのオートパイロットが鋳ないとしたらそれは恵み深くないししかもそれは利き難い fact16: 狙い易くない物は焼失しないしさらにピックガードでない fact17: もしもそのオートパイロットが毒々しかないならそれが暗くないしさらにそれは賞しない
fact1 -> hypothesis;
もし仮に「そのオートパイロットは狙い易くない」ということは嘘でないならば焼失しなくてピックガードでない
fact18 -> hypothesis;
$facts$ = fact1: もしもそのオートパイロットが鋳ないなら恵み深いということはないしそれは利き難くない fact2: 仮にそのオートパイロットが国立文書館でないとするとそれは鋳なくて加えてそれは戻り易くない fact3: 「もし出し易くないなら一人勝ちしないしおまけに寺歴でない」ものはある fact4: もしもそのオートパイロットが鋳るということはないなら恵み深くない fact5: この土地革命が調べ出さないとするとそれは鋳ないしマルス百三でない fact6: もしもそのオートパイロットが鋳るとしたらそれは恵み深くないしかつ利き難くない fact7: もし仮にそのオートパイロットは仄暗くないならば「それは恐縮しないし出し易いということはない」ということは成り立つ fact8: 「「もし鋳ないなら恵み深いしかつ利き難くない」ものはある」ということは真実だ fact9: 「鋳るとしたら恵み深くないしさらに利き難くない」物はある fact10: 「もし仮に鋳ないならば恵み深くないし利き難い」ものはある fact11: 「もし仮に辛くないとするとでっかくないし射通すということはない」ものはある fact12: 「鋳るということはないとすれば恵み深くない」物はある fact13: この主活動は留めるということはないとしたら「それは移り難くないしその上崩し易いということはない」ということは偽でない fact14: 「仮に「鋳るということはない」ということは成り立つなら「利き難くない」ということは成り立つ」物はある fact15: もしもそのオートパイロットが鋳ないとしたらそれは恵み深くないししかもそれは利き難い fact16: 狙い易くない物は焼失しないしさらにピックガードでない fact17: もしもそのオートパイロットが毒々しかないならそれが暗くないしさらにそれは賞しない ; $hypothesis$ = 「もし仮に鋳ないならば恵み深くないし利き難くない」ものはある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: もしもそのオートパイロットが鋳ないなら恵み深いということはないしそれは利き難くない
事実2: 仮にそのオートパイロットが国立文書館でないとするとそれは鋳なくて加えてそれは戻り易くない
事実3: 「もし出し易くないなら一人勝ちしないしおまけに寺歴でない」ものはある
事実4: もしもそのオートパイロットが鋳るということはないなら恵み深くない
事実5: この土地革命が調べ出さないとするとそれは鋳ないしマルス百三でない
事実6: もしもそのオートパイロットが鋳るとしたらそれは恵み深くないしかつ利き難くない
事実7: もし仮にそのオートパイロットは仄暗くないならば「それは恐縮しないし出し易いということはない」ということは成り立つ
事実8: 「「もし鋳ないなら恵み深いしかつ利き難くない」ものはある」ということは真実だ
事実9: 「鋳るとしたら恵み深くないしさらに利き難くない」物はある
事実10: 「もし仮に鋳ないならば恵み深くないし利き難い」ものはある
事実11: 「もし仮に辛くないとするとでっかくないし射通すということはない」ものはある
事実12: 「鋳るということはないとすれば恵み深くない」物はある
事実13: この主活動は留めるということはないとしたら「それは移り難くないしその上崩し易いということはない」ということは偽でない
事実14: 「仮に「鋳るということはない」ということは成り立つなら「利き難くない」ということは成り立つ」物はある
事実15: もしもそのオートパイロットが鋳ないとしたらそれは恵み深くないししかもそれは利き難い
事実16: 狙い易くない物は焼失しないしさらにピックガードでない
事実17: もしもそのオートパイロットが毒々しかないならそれが暗くないしさらにそれは賞しない

仮説: 「もし仮に鋳ないならば恵み深くないし利き難くない」ものはある
1. 事実1から、仮説が導かれる

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