あの新川低地は野暮ったい
fact1: 「学び切るしまた百姓らしい」ものはある fact2: 「「吸収され難くない」ということは正しい」物はある fact3: もし何らかの物は百姓らしいということはないとすると「通園するしさらに学び切る」ということは本当でない fact4: もし仮にこの業務執行権限が百姓らしいならこの足部は学び切る fact5: もし仮にこの足部が紹介致すとしたらあの新川低地は野暮ったい fact6: もしも「「この業務執行権限は通園するしかつ学び切る」ということは間違いでない」ということは成り立たないとするとこの足部は通園しない fact7: 仮に「この業務執行権限は野暮ったいということはないし吸収され難くない」ということは事実と異なるならばあの新川低地は野暮ったいということはない fact8: 「とあるものは吸収され難くないがしかし通園する」ということは本当だ fact9: あの新川低地は通園する fact10: もし仮に「吸収され難くないし通園する」ものがあるとするとこの業務執行権限は百姓らしい fact11: あるものは学び切る fact12: 「何らかのものは学び切るということはないがしかし野暮ったい」ということは嘘でない fact13: この業務執行権限は紹介致す fact14: もしこの足部が学び切るとすればそれは紹介致す
fact8 & fact10 -> int1: この業務執行権限は百姓らしい; int1 & fact4 -> int2: 「この足部は学び切る」ということは成り立つ; int2 & fact14 -> int3: この足部は紹介致す; int3 & fact5 -> hypothesis;
この足部は野暮ったい
fact16 -> int4: もしもこの業務執行権限は百姓らしくないとすると「通園するしかつ学び切る」ということは間違いである;
$facts$ = fact1: 「学び切るしまた百姓らしい」ものはある fact2: 「「吸収され難くない」ということは正しい」物はある fact3: もし何らかの物は百姓らしいということはないとすると「通園するしさらに学び切る」ということは本当でない fact4: もし仮にこの業務執行権限が百姓らしいならこの足部は学び切る fact5: もし仮にこの足部が紹介致すとしたらあの新川低地は野暮ったい fact6: もしも「「この業務執行権限は通園するしかつ学び切る」ということは間違いでない」ということは成り立たないとするとこの足部は通園しない fact7: 仮に「この業務執行権限は野暮ったいということはないし吸収され難くない」ということは事実と異なるならばあの新川低地は野暮ったいということはない fact8: 「とあるものは吸収され難くないがしかし通園する」ということは本当だ fact9: あの新川低地は通園する fact10: もし仮に「吸収され難くないし通園する」ものがあるとするとこの業務執行権限は百姓らしい fact11: あるものは学び切る fact12: 「何らかのものは学び切るということはないがしかし野暮ったい」ということは嘘でない fact13: この業務執行権限は紹介致す fact14: もしこの足部が学び切るとすればそれは紹介致す ; $hypothesis$ = あの新川低地は野暮ったい ; $proof$ = 
fact8 & fact10 -> int1: この業務執行権限は百姓らしい; int1 & fact4 -> int2: 「この足部は学び切る」ということは成り立つ; int2 & fact14 -> int3: この足部は紹介致す; int3 & fact5 -> hypothesis; __PROVED__
事実1: 「学び切るしまた百姓らしい」ものはある
事実2: 「「吸収され難くない」ということは正しい」物はある
事実3: もし何らかの物は百姓らしいということはないとすると「通園するしさらに学び切る」ということは本当でない
事実4: もし仮にこの業務執行権限が百姓らしいならこの足部は学び切る
事実5: もし仮にこの足部が紹介致すとしたらあの新川低地は野暮ったい
事実6: もしも「「この業務執行権限は通園するしかつ学び切る」ということは間違いでない」ということは成り立たないとするとこの足部は通園しない
事実7: 仮に「この業務執行権限は野暮ったいということはないし吸収され難くない」ということは事実と異なるならばあの新川低地は野暮ったいということはない
事実8: 「とあるものは吸収され難くないがしかし通園する」ということは本当だ
事実9: あの新川低地は通園する
事実10: もし仮に「吸収され難くないし通園する」ものがあるとするとこの業務執行権限は百姓らしい
事実11: あるものは学び切る
事実12: 「何らかのものは学び切るということはないがしかし野暮ったい」ということは嘘でない
事実13: この業務執行権限は紹介致す
事実14: もしこの足部が学び切るとすればそれは紹介致す

仮説: あの新川低地は野暮ったい
1. 事実8と事実10から、推論1: "この業務執行権限は百姓らしい"が導かれる
2. 推論1と事実4から、推論2: "「この足部は学び切る」ということは成り立つ"が導かれる
3. 推論2と事実14から、推論3: "この足部は紹介致す"が導かれる
4. 推論3と事実5から、仮説が導かれる

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