その償還義務は御悪い
fact1: あの内箱は忘れ始めない fact2: 「あのＣＶ調査は承る」ということは事実だ fact3: あのシリアルは転び易くない fact4: この橈骨は承らない fact5: その償還義務は忘れ始めるしおまけに転び易い fact6: その償還義務は転び易い fact7: あの内箱は加算である fact8: あの設備規模は千秋楽でない fact9: その償還義務は承るしそれに町財政である fact10: 仮にその償還義務が忘れ始めないならそれは承らない fact11: 「その償還義務は承る」ということは事実だ fact12: もしもその償還義務が転び易くないとしたらあの内箱は承るしそれにそれは御悪い fact13: 「なにがしかのものは忘れ始めるし更に疎い」ということは本当だということはないならば忘れ始めるということはない fact14: 仮にあの内箱が承らないとすると転び易いということはない fact15: もし仮に「なにがしかのものは転び易くて更にそれは承る」ということは誤りであるとすればそれは御悪くない fact16: あの内箱は承らない fact17: その償還義務は食い尽くす fact18: もしも「何らかのものは基本的性質であるしそれに西洋化する」ということは誤りならばそれは西洋化しない fact19: 「あの設備規模は千秋楽でない」ということは正しいとしたらそれは学問以外でない fact20: もしあの設備規模が学問以外でないし西洋化しないとすればあの内箱は西洋化しない fact21: 仮にあの内箱が転び易くないとするとその償還義務は忘れ始めるししかも御悪い fact22: 仮にその償還義務は承らないとすると「あの内箱は忘れ始める」ということは成り立つ fact23: もしも何らかのものは西洋化しないなら「それは忘れ始めるしさらにそれは疎い」ということは真実でない
fact14 & fact16 -> int1: あの内箱は転び易くない; int1 & fact21 -> int2: その償還義務は忘れ始めるし御悪い; int2 -> hypothesis;
その償還義務は御悪くない
fact27 -> int3: 「その償還義務は転び易いしおまけにそれは承る」ということは事実と異なるとしたら御悪くない; fact28 -> int4: 「あの内箱は忘れ始めるしそれは疎い」ということは成り立たないならそれは忘れ始めない; fact24 -> int5: もしも「あの内箱は西洋化するということはない」ということは本当ならば「忘れ始めるしそれに疎い」ということは嘘である; fact25 & fact29 -> int6: あの設備規模は学問以外でない; fact30 -> int7: 「あの設備規模は基本的性質だし西洋化する」ということは嘘ならば西洋化しない;
$facts$ = fact1: あの内箱は忘れ始めない fact2: 「あのＣＶ調査は承る」ということは事実だ fact3: あのシリアルは転び易くない fact4: この橈骨は承らない fact5: その償還義務は忘れ始めるしおまけに転び易い fact6: その償還義務は転び易い fact7: あの内箱は加算である fact8: あの設備規模は千秋楽でない fact9: その償還義務は承るしそれに町財政である fact10: 仮にその償還義務が忘れ始めないならそれは承らない fact11: 「その償還義務は承る」ということは事実だ fact12: もしもその償還義務が転び易くないとしたらあの内箱は承るしそれにそれは御悪い fact13: 「なにがしかのものは忘れ始めるし更に疎い」ということは本当だということはないならば忘れ始めるということはない fact14: 仮にあの内箱が承らないとすると転び易いということはない fact15: もし仮に「なにがしかのものは転び易くて更にそれは承る」ということは誤りであるとすればそれは御悪くない fact16: あの内箱は承らない fact17: その償還義務は食い尽くす fact18: もしも「何らかのものは基本的性質であるしそれに西洋化する」ということは誤りならばそれは西洋化しない fact19: 「あの設備規模は千秋楽でない」ということは正しいとしたらそれは学問以外でない fact20: もしあの設備規模が学問以外でないし西洋化しないとすればあの内箱は西洋化しない fact21: 仮にあの内箱が転び易くないとするとその償還義務は忘れ始めるししかも御悪い fact22: 仮にその償還義務は承らないとすると「あの内箱は忘れ始める」ということは成り立つ fact23: もしも何らかのものは西洋化しないなら「それは忘れ始めるしさらにそれは疎い」ということは真実でない ; $hypothesis$ = その償還義務は御悪い ; $proof$ = 
fact14 & fact16 -> int1: あの内箱は転び易くない; int1 & fact21 -> int2: その償還義務は忘れ始めるし御悪い; int2 -> hypothesis; __PROVED__
事実1: あの内箱は忘れ始めない
事実2: 「あのＣＶ調査は承る」ということは事実だ
事実3: あのシリアルは転び易くない
事実4: この橈骨は承らない
事実5: その償還義務は忘れ始めるしおまけに転び易い
事実6: その償還義務は転び易い
事実7: あの内箱は加算である
事実8: あの設備規模は千秋楽でない
事実9: その償還義務は承るしそれに町財政である
事実10: 仮にその償還義務が忘れ始めないならそれは承らない
事実11: 「その償還義務は承る」ということは事実だ
事実12: もしもその償還義務が転び易くないとしたらあの内箱は承るしそれにそれは御悪い
事実13: 「なにがしかのものは忘れ始めるし更に疎い」ということは本当だということはないならば忘れ始めるということはない
事実14: 仮にあの内箱が承らないとすると転び易いということはない
事実15: もし仮に「なにがしかのものは転び易くて更にそれは承る」ということは誤りであるとすればそれは御悪くない
事実16: あの内箱は承らない
事実17: その償還義務は食い尽くす
事実18: もしも「何らかのものは基本的性質であるしそれに西洋化する」ということは誤りならばそれは西洋化しない
事実19: 「あの設備規模は千秋楽でない」ということは正しいとしたらそれは学問以外でない
事実20: もしあの設備規模が学問以外でないし西洋化しないとすればあの内箱は西洋化しない
事実21: 仮にあの内箱が転び易くないとするとその償還義務は忘れ始めるししかも御悪い
事実22: 仮にその償還義務は承らないとすると「あの内箱は忘れ始める」ということは成り立つ
事実23: もしも何らかのものは西洋化しないなら「それは忘れ始めるしさらにそれは疎い」ということは真実でない

仮説: その償還義務は御悪い
1. 事実14と事実16から、推論1: "あの内箱は転び易くない"が導かれる
2. 推論1と事実21から、推論2: "その償還義務は忘れ始めるし御悪い"が導かれる
3. 推論2から、仮説が導かれる

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