とある物は熟しない
fact1: ある物は熟する fact2: もし仮に「運転し易いということはない」物があるとしたらこの立法・司法・行政は取っ付き易くない fact3: 「積算しない」物はある fact4: もしとある物が課税資産でないとすればその旅芸人は御知らない fact5: 仮に「ショコラティエでない」物があればその旅芸人はベルセルクソードでない fact6: 何かは仕方無しない fact7: 「黒しということはない」物はある fact8: 仮に「その旅芸人は想像し得るということはない」ということは成り立たないならその水源地は御知るということはないかまたは課税資産でないかまたはどちらもだ fact9: その旅芸人は想像し得ないとしたらそれは熟しない fact10: 「御知るということはない」物はある fact11: もしその旅芸人は薄汚いとしたら「それは熟しないが民族紛争だ」ということは誤りだ fact12: その旅芸人が御知らないとするとコピー用紙であるということはない fact13: とある物は由々しくない fact14: もし仮にあの長期資本が優れないならば秘さない fact15: その六十一人は御遠慮でない fact16: もしその旅芸人が想像し得るということはないとするとそれは固くない fact17: なにがしかの物は課税資産だ fact18: 何かは課税資産であるということはない fact19: その旅芸人は谷底であるということはない fact20: もしもその旅芸人が御知らないならば想像し得ない
fact18 & fact4 -> int1: その旅芸人は御知らない; int1 & fact20 -> int2: その旅芸人は想像し得ない; int2 & fact9 -> int3: その旅芸人は熟しない; int3 -> hypothesis;
その水源地は滑り難いということはない
$facts$ = fact1: ある物は熟する fact2: もし仮に「運転し易いということはない」物があるとしたらこの立法・司法・行政は取っ付き易くない fact3: 「積算しない」物はある fact4: もしとある物が課税資産でないとすればその旅芸人は御知らない fact5: 仮に「ショコラティエでない」物があればその旅芸人はベルセルクソードでない fact6: 何かは仕方無しない fact7: 「黒しということはない」物はある fact8: 仮に「その旅芸人は想像し得るということはない」ということは成り立たないならその水源地は御知るということはないかまたは課税資産でないかまたはどちらもだ fact9: その旅芸人は想像し得ないとしたらそれは熟しない fact10: 「御知るということはない」物はある fact11: もしその旅芸人は薄汚いとしたら「それは熟しないが民族紛争だ」ということは誤りだ fact12: その旅芸人が御知らないとするとコピー用紙であるということはない fact13: とある物は由々しくない fact14: もし仮にあの長期資本が優れないならば秘さない fact15: その六十一人は御遠慮でない fact16: もしその旅芸人が想像し得るということはないとするとそれは固くない fact17: なにがしかの物は課税資産だ fact18: 何かは課税資産であるということはない fact19: その旅芸人は谷底であるということはない fact20: もしもその旅芸人が御知らないならば想像し得ない ; $hypothesis$ = とある物は熟しない ; $proof$ = 
fact18 & fact4 -> int1: その旅芸人は御知らない; int1 & fact20 -> int2: その旅芸人は想像し得ない; int2 & fact9 -> int3: その旅芸人は熟しない; int3 -> hypothesis; __PROVED__
事実1: ある物は熟する
事実2: もし仮に「運転し易いということはない」物があるとしたらこの立法・司法・行政は取っ付き易くない
事実3: 「積算しない」物はある
事実4: もしとある物が課税資産でないとすればその旅芸人は御知らない
事実5: 仮に「ショコラティエでない」物があればその旅芸人はベルセルクソードでない
事実6: 何かは仕方無しない
事実7: 「黒しということはない」物はある
事実8: 仮に「その旅芸人は想像し得るということはない」ということは成り立たないならその水源地は御知るということはないかまたは課税資産でないかまたはどちらもだ
事実9: その旅芸人は想像し得ないとしたらそれは熟しない
事実10: 「御知るということはない」物はある
事実11: もしその旅芸人は薄汚いとしたら「それは熟しないが民族紛争だ」ということは誤りだ
事実12: その旅芸人が御知らないとするとコピー用紙であるということはない
事実13: とある物は由々しくない
事実14: もし仮にあの長期資本が優れないならば秘さない
事実15: その六十一人は御遠慮でない
事実16: もしその旅芸人が想像し得るということはないとするとそれは固くない
事実17: なにがしかの物は課税資産だ
事実18: 何かは課税資産であるということはない
事実19: その旅芸人は谷底であるということはない
事実20: もしもその旅芸人が御知らないならば想像し得ない

仮説: とある物は熟しない
1. 事実18と事実4から、推論1: "その旅芸人は御知らない"が導かれる
2. 推論1と事実20から、推論2: "その旅芸人は想像し得ない"が導かれる
3. 推論2と事実9から、推論3: "その旅芸人は熟しない"が導かれる
4. 推論3から、仮説が導かれる

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