「仮に「おもろくない一方で分離し易い」ということは事実と異なるとしたら棟木な」物はある
fact1: 「スポンサーでないならば忘れ易い」物はある fact2: 「「仮に「消石灰でなくてしかも愛し」ということは本当でないなら反応し易い」ものはある」ということは本当である fact3: もし仮にその密雲が揉み始めないけど発動機船であるならばそれは分離し易い fact4: もし「その密雲はおもろくて分離し易い」ということは事実と異なるとすれば棟木だ fact5: 「もしおもろくないしその上分離し易いとしたら棟木である」物はある fact6: 「もし「再検するし表色系である」ということは誤りだとしたら発現プロテオミクスである」物はある fact7: 「もしテレビレポーターであるとすれば常態な」ものはある fact8: もし「とある物は遜色無くない一方でそれは高い」ということは間違っているとすれば換算方法である fact9: 「もし「防災性であるししかも浦波だ」ということは成り立たないとしたら太り易い」物はある fact10: 「「その密雲はぶっとくないけれど画像間だ」ということは偽だとしたらその密雲は分離し易い」ということは真実だ fact11: もしもこの活動場面が年間収入でない一方でそれが分離し易いならばそれは棲息する fact12: 「もしも経営統合しないとしたら商務長官である」物はある fact13: 「もし仮に次善であるなら「啀み合う」ということは本当な」ものはある fact14: 「「「その密雲はおもろくない一方で分離し易い」ということは誤りである」ということは正しいとするとその密雲は棟木である」ということは正しい fact15: 仮にその密雲は分離し易くないならば棟木だ fact16: 「仮に「逃げ回るということはないし面目無い」ということは間違っていれば啀み合う」物はある fact17: 「もし県会議員でないとすれば「出生しない」ということは間違いな」ものはある fact18: 「その密雲は軍糧でないけれど分離し易い」ということは嘘であるとすれば荒っぽい fact19: 「もしも「属するということはないしまた手緩い」ということは事実と異なるとすると陥没する」ものはある
fact14 -> hypothesis;
fact14 -> 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$ = 
fact14 -> hypothesis; __PROVED__
事実1: 「スポンサーでないならば忘れ易い」物はある
事実2: 「「仮に「消石灰でなくてしかも愛し」ということは本当でないなら反応し易い」ものはある」ということは本当である
事実3: もし仮にその密雲が揉み始めないけど発動機船であるならばそれは分離し易い
事実4: もし「その密雲はおもろくて分離し易い」ということは事実と異なるとすれば棟木だ
事実5: 「もしおもろくないしその上分離し易いとしたら棟木である」物はある
事実6: 「もし「再検するし表色系である」ということは誤りだとしたら発現プロテオミクスである」物はある
事実7: 「もしテレビレポーターであるとすれば常態な」ものはある
事実8: もし「とある物は遜色無くない一方でそれは高い」ということは間違っているとすれば換算方法である
事実9: 「もし「防災性であるししかも浦波だ」ということは成り立たないとしたら太り易い」物はある
事実10: 「「その密雲はぶっとくないけれど画像間だ」ということは偽だとしたらその密雲は分離し易い」ということは真実だ
事実11: もしもこの活動場面が年間収入でない一方でそれが分離し易いならばそれは棲息する
事実12: 「もしも経営統合しないとしたら商務長官である」物はある
事実13: 「もし仮に次善であるなら「啀み合う」ということは本当な」ものはある
事実14: 「「「その密雲はおもろくない一方で分離し易い」ということは誤りである」ということは正しいとするとその密雲は棟木である」ということは正しい
事実15: 仮にその密雲は分離し易くないならば棟木だ
事実16: 「仮に「逃げ回るということはないし面目無い」ということは間違っていれば啀み合う」物はある
事実17: 「もし県会議員でないとすれば「出生しない」ということは間違いな」ものはある
事実18: 「その密雲は軍糧でないけれど分離し易い」ということは嘘であるとすれば荒っぽい
事実19: 「もしも「属するということはないしまた手緩い」ということは事実と異なるとすると陥没する」ものはある

仮説: 「仮に「おもろくない一方で分離し易い」ということは事実と異なるとしたら棟木な」物はある
1. 事実14から、仮説が導かれる

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