「あの地産地消は済ま無いがしかし墓前でない」ということは誤りである
fact1: あの第四十章はサクセスストーリーでない fact2: 「あの第四十章が言い訳はましくらない」ということは正しいとしたら「それは相続出来るしそれにサクセスストーリーである」ということは誤っている fact3: この法解釈は実装出来るかまたはそれは相続出来るか両方である fact4: あの地産地消はサクセスストーリーでない fact5: もしも「あの第四十章は相続出来る」ということは事実であるならこの法解釈は実装出来る fact6: あの地産地消は共伴する fact7: 「あの地産地消は実装出来る」ということは確かだ fact8: 「仮にこの法解釈は実装出来れば「あの地産地消は済ま無い」ということは成り立つ」ということは正しい fact9: あの第四十章は遠心であるということはない fact10: あの地産地消は相続出来ない fact11: もしあの地産地消がサクセスストーリーでないならあの第四十章は墓前でない fact12: もしもあの第四十章がサクセスストーリーでないとするとあの地産地消は墓前でない fact13: この法解釈はサクセスストーリーだ fact14: あの地産地消は相続出来ないならば「この法解釈は墓前でない」ということは成り立つ fact15: あの第四十章は申し伝えない fact16: この法解釈は済ま無いということはない fact17: この法解釈が相続出来るとすればあの地産地消は済ま無い fact18: あの第四十章は済ま無い fact19: あの第四十章が墓前だということはないならあの地産地消はサクセスストーリーでない fact20: もしこの法解釈が済ま無いならあの地産地消は実装出来る
fact3 & fact8 & fact17 -> int1: あの地産地消は済ま無い; fact12 & fact1 -> int2: あの地産地消は墓前であるということはない; int1 & int2 -> hypothesis;
「あの地産地消は済ま無いがしかし墓前でない」ということは成り立たない
$facts$ = fact1: あの第四十章はサクセスストーリーでない fact2: 「あの第四十章が言い訳はましくらない」ということは正しいとしたら「それは相続出来るしそれにサクセスストーリーである」ということは誤っている fact3: この法解釈は実装出来るかまたはそれは相続出来るか両方である fact4: あの地産地消はサクセスストーリーでない fact5: もしも「あの第四十章は相続出来る」ということは事実であるならこの法解釈は実装出来る fact6: あの地産地消は共伴する fact7: 「あの地産地消は実装出来る」ということは確かだ fact8: 「仮にこの法解釈は実装出来れば「あの地産地消は済ま無い」ということは成り立つ」ということは正しい fact9: あの第四十章は遠心であるということはない fact10: あの地産地消は相続出来ない fact11: もしあの地産地消がサクセスストーリーでないならあの第四十章は墓前でない fact12: もしもあの第四十章がサクセスストーリーでないとするとあの地産地消は墓前でない fact13: この法解釈はサクセスストーリーだ fact14: あの地産地消は相続出来ないならば「この法解釈は墓前でない」ということは成り立つ fact15: あの第四十章は申し伝えない fact16: この法解釈は済ま無いということはない fact17: この法解釈が相続出来るとすればあの地産地消は済ま無い fact18: あの第四十章は済ま無い fact19: あの第四十章が墓前だということはないならあの地産地消はサクセスストーリーでない fact20: もしこの法解釈が済ま無いならあの地産地消は実装出来る ; $hypothesis$ = 「あの地産地消は済ま無いがしかし墓前でない」ということは誤りである ; $proof$ = 
fact3 & fact8 & fact17 -> int1: あの地産地消は済ま無い; fact12 & fact1 -> int2: あの地産地消は墓前であるということはない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: あの第四十章はサクセスストーリーでない
事実2: 「あの第四十章が言い訳はましくらない」ということは正しいとしたら「それは相続出来るしそれにサクセスストーリーである」ということは誤っている
事実3: この法解釈は実装出来るかまたはそれは相続出来るか両方である
事実4: あの地産地消はサクセスストーリーでない
事実5: もしも「あの第四十章は相続出来る」ということは事実であるならこの法解釈は実装出来る
事実6: あの地産地消は共伴する
事実7: 「あの地産地消は実装出来る」ということは確かだ
事実8: 「仮にこの法解釈は実装出来れば「あの地産地消は済ま無い」ということは成り立つ」ということは正しい
事実9: あの第四十章は遠心であるということはない
事実10: あの地産地消は相続出来ない
事実11: もしあの地産地消がサクセスストーリーでないならあの第四十章は墓前でない
事実12: もしもあの第四十章がサクセスストーリーでないとするとあの地産地消は墓前でない
事実13: この法解釈はサクセスストーリーだ
事実14: あの地産地消は相続出来ないならば「この法解釈は墓前でない」ということは成り立つ
事実15: あの第四十章は申し伝えない
事実16: この法解釈は済ま無いということはない
事実17: この法解釈が相続出来るとすればあの地産地消は済ま無い
事実18: あの第四十章は済ま無い
事実19: あの第四十章が墓前だということはないならあの地産地消はサクセスストーリーでない
事実20: もしこの法解釈が済ま無いならあの地産地消は実装出来る

仮説: 「あの地産地消は済ま無いがしかし墓前でない」ということは誤りである
1. 事実3と事実8と事実17から、推論1: "あの地産地消は済ま無い"が導かれる
2. 事実12と事実1から、推論2: "あの地産地消は墓前であるということはない"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。