その関数式は難くてかつそれはしかつめらしい
fact1: その関数式は恭しくてかつ辛気臭い fact2: 仮にあの首切り反対闘争は書き飛ばさないなら「しかつめらしい」ということは真実である fact3: もしその関数式が締まらないとすると押し出し器である fact4: もし仮にその関数式は石英ガラスファイバでないならばそれはパン屑である fact5: もしその関数式が御上げ為さらないならそれは尊くて更に難い fact6: もしもこの自己分裂は篆文でないなら「それは思い見ない」ということは事実と異なる fact7: 仮にその関数式がとろりとしないとすると戻り始めるしその上尊い fact8: その関数式はパン屑でないならばそれはしかつめらしいし恭しい fact9: あのイットは野太いし難い fact10: その関数式は使い辛いということはない fact11: 仮にその関数式は恭しくないとしたら「それは活動し難い」ということは成り立つ fact12: その第二次阿片戦争はパン屑である fact13: 「その関数式は御上げ為さらない」ということは成り立つ fact14: 「その関数式は被官であるということはない」ということは事実であるならば軽ーい fact15: その関数式はパン屑でない fact16: その森林破壊は御上げ為さる fact17: この都知事選挙は雄々しくて加えて生え易い fact18: あの野球部はしかつめらしい fact19: 仮にその関数式はいみじないならば「パン屑だ」ということは確かだ fact20: その関数式はみっともないということはない
fact5 & fact13 -> int1: その関数式は尊くてまた難い; int1 -> int2: その関数式は難い; fact8 & fact15 -> int3: その関数式はしかつめらしくてそれは恭しい; int3 -> int4: 「その関数式はしかつめらしい」ということは成り立つ; int2 & int4 -> hypothesis;
$facts$ = fact1: その関数式は恭しくてかつ辛気臭い fact2: 仮にあの首切り反対闘争は書き飛ばさないなら「しかつめらしい」ということは真実である fact3: もしその関数式が締まらないとすると押し出し器である fact4: もし仮にその関数式は石英ガラスファイバでないならばそれはパン屑である fact5: もしその関数式が御上げ為さらないならそれは尊くて更に難い fact6: もしもこの自己分裂は篆文でないなら「それは思い見ない」ということは事実と異なる fact7: 仮にその関数式がとろりとしないとすると戻り始めるしその上尊い fact8: その関数式はパン屑でないならばそれはしかつめらしいし恭しい fact9: あのイットは野太いし難い fact10: その関数式は使い辛いということはない fact11: 仮にその関数式は恭しくないとしたら「それは活動し難い」ということは成り立つ fact12: その第二次阿片戦争はパン屑である fact13: 「その関数式は御上げ為さらない」ということは成り立つ fact14: 「その関数式は被官であるということはない」ということは事実であるならば軽ーい fact15: その関数式はパン屑でない fact16: その森林破壊は御上げ為さる fact17: この都知事選挙は雄々しくて加えて生え易い fact18: あの野球部はしかつめらしい fact19: 仮にその関数式はいみじないならば「パン屑だ」ということは確かだ fact20: その関数式はみっともないということはない ; $hypothesis$ = その関数式は難くてかつそれはしかつめらしい ; $proof$ = 
fact5 & fact13 -> int1: その関数式は尊くてまた難い; int1 -> int2: その関数式は難い; fact8 & fact15 -> int3: その関数式はしかつめらしくてそれは恭しい; int3 -> int4: 「その関数式はしかつめらしい」ということは成り立つ; int2 & int4 -> hypothesis; __PROVED__
事実1: その関数式は恭しくてかつ辛気臭い
事実2: 仮にあの首切り反対闘争は書き飛ばさないなら「しかつめらしい」ということは真実である
事実3: もしその関数式が締まらないとすると押し出し器である
事実4: もし仮にその関数式は石英ガラスファイバでないならばそれはパン屑である
事実5: もしその関数式が御上げ為さらないならそれは尊くて更に難い
事実6: もしもこの自己分裂は篆文でないなら「それは思い見ない」ということは事実と異なる
事実7: 仮にその関数式がとろりとしないとすると戻り始めるしその上尊い
事実8: その関数式はパン屑でないならばそれはしかつめらしいし恭しい
事実9: あのイットは野太いし難い
事実10: その関数式は使い辛いということはない
事実11: 仮にその関数式は恭しくないとしたら「それは活動し難い」ということは成り立つ
事実12: その第二次阿片戦争はパン屑である
事実13: 「その関数式は御上げ為さらない」ということは成り立つ
事実14: 「その関数式は被官であるということはない」ということは事実であるならば軽ーい
事実15: その関数式はパン屑でない
事実16: その森林破壊は御上げ為さる
事実17: この都知事選挙は雄々しくて加えて生え易い
事実18: あの野球部はしかつめらしい
事実19: 仮にその関数式はいみじないならば「パン屑だ」ということは確かだ
事実20: その関数式はみっともないということはない

仮説: その関数式は難くてかつそれはしかつめらしい
1. 事実5と事実13から、推論1: "その関数式は尊くてまた難い"が導かれる
2. 推論1から、推論2: "その関数式は難い"が導かれる
3. 事実8と事実15から、推論3: "その関数式はしかつめらしくてそれは恭しい"が導かれる
4. 推論3から、推論4: "「その関数式はしかつめらしい」ということは成り立つ"が導かれる
5. 推論2と推論4から、仮説が導かれる

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