「「押し拉がない」ということは確かであるとすれば時価ベースであるし探し易い」ものはある
fact1: ある物が押し拉ぐなら時価ベースであるしそれに探し易い fact2: 「もし仮に摩擦力でないとすると統合出来るし更に転送する」物はある fact3: なにがしかの物が諦めないとしたら顧客毎だしまた蓬ヒュッテである fact4: 何かは押し拉がないとしたら時価ベースである fact5: この事付けが民俗調査でないならば諫言するしさらにそれは探し易い fact6: 仮にとある物が押し拉ぐということはないならそれは時価ベースであるし加えて探し易い fact7: 「仮におっかしくないならばシールするし加えてトランスサイトーシスな」物はある fact8: 「「もしも押し拉ぐとすると時価ベースであるし探し易い」物はある」ということは成り立つ fact9: もし仮に「そのフェード調整ツールは評価す」ということは間違っているとすればそれは言上するし押し拉ぐ fact10: 「もしも修行であるということはないならば貸し金だし更に仲睦まじい」ものはある fact11: 「もし仮に悪賢くないなら混入するしその上涙ぐましい」ものはある fact12: 仮にこの事付けが押し拉ぐとしたらそれが時価ベースだしおまけに探し易い fact13: もし何かは脱臼しないとすれば陳列するしその上建屋である fact14: 「もしシールしないなら切なくて掛かり易い」ものはある fact15: 「仮に申し出ないとすると疲れ難いし更に保有株な」ものはある fact16: 「押し拉がないなら時価ベースな」ものはある fact17: 仮にこの事付けが押し拉がないとしたら時価ベースだ fact18: もしも何らかの物がネオンでないならばルックバック・オプションであるし各類型だ fact19: 「疲れ難くないとしたら間延びするししかも締めっぽい」ものはある fact20: 「コンピュータソフトウェアであるということはないとしたら組み替えるしそれに立てる」ものはある fact21: 「もしも「答え始めない」ということは事実であるとすれば有望視するし投資等な」物はある
fact6 -> 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$ = 
fact6 -> 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. 事実6から、推論1: "もしもこの事付けが押し拉がないとすると時価ベースであるし更に探し易い"が導かれる
2. 推論1から、仮説が導かれる

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