あの旧株は上皮化しない
fact1: 何かは磨き上げれば急性アルコール中毒であるがしかし酸っぱくない fact2: 「もし仮にその飯綱使いが酸っぱくないけれど磨き上げるとするとあの旧株は急性アルコール中毒でない」ということは真実だ fact3: もしもこの排泄器官は磨き上げないとしたら「あの旧株は磨き上げるし専従する」ということは成り立たない fact4: その飯綱使いは磨き上げない fact5: もしもその飯綱使いは物悲しいということはないかもしくは書き過ぎるということはないか両方ともであるとすれば買い込まない fact6: その飯綱使いは物悲しくないかもしくはそれは書き過ぎない fact7: 仮に「「その飯綱使いは絶縁しないがしかしそれは言い訳出来る」ということは誤りだ」ということは確かならばあの党内は言い訳出来ない fact8: その初夏は取り引き出来なくて上皮化しない fact9: この俄か成金は売却する fact10: この党内が尋ね歩かないし更に止む無くない fact11: もし仮に「その飯綱使いは朝鮮人コルホーズでなくて買い込まない」ということは事実であるならば「連ならない」ということは真実だ fact12: 仮に「この党内は独り立ちするということはない」ということは成り立つならその飯綱使いは急性アルコール中毒でないしさらに酸っぱくない fact13: 仮にあの旧株は急性アルコール中毒でないならば「その飯綱使いは急性アルコール中毒であるし磨き上げる」ということは誤りである fact14: もしもなにかは急性アルコール中毒でないとすると磨き上げない fact15: 仮に「あの旧株は磨き上げるし更にそれは独り立ちする」ということは間違いだとしたら売却しない fact16: もしもなにがしかの物が朝鮮人コルホーズだということはないとしたら丸くない fact17: もし仮に「何かは磨き上げるしそれに専従する」ということは成り立たないとすれば上皮化しない fact18: 仮にその飯綱使いが急性アルコール中毒でないしおまけにそれが酸っぱくないならこの排泄器官は磨き上げるということはない fact19: その飯綱使いは朝鮮人コルホーズでない fact20: もしもその飯綱使いは連ならないとすれば「絶縁しないけど言い訳出来る」ということは成り立つということはない fact21: もしもなにがしかのものが独り立ちするということはないとするとそれは上皮化するしそれは売却する fact22: 「この排泄器官は専従しない」ということは確かだ fact23: この党内は売却する fact24: この党内が売却するならそれは独り立ちしない fact25: もしもあるものが言い訳出来るということはないとするとそれは磨き上げるしそれは専従する fact26: その飯綱使いは磨き上げなくてしかもそれは酸っぱくない
fact24 & fact23 -> int1: この党内は独り立ちしない; int1 & fact12 -> int2: その飯綱使いは急性アルコール中毒でないしその上それは酸っぱくない; int2 & fact18 -> int3: この排泄器官は磨き上げない; int3 & fact3 -> int4: 「あの旧株は磨き上げるし専従する」ということは偽だ; fact17 -> int5: 「あの旧株は磨き上げるし加えて専従する」ということは偽であるなら上皮化しない; int4 & int5 -> hypothesis;
あの旧株は上皮化する
fact34 -> int6: もしもあの旧株が独り立ちしないとすればそれは上皮化するし売却する; fact32 -> int7: もしこの党内が磨き上げるとしたら急性アルコール中毒だしまた酸っぱくない; fact33 -> int8: この党内が言い訳出来るということはないとするとそれは磨き上げるし加えてそれは専従する; fact31 & fact27 -> int9: その飯綱使いは買い込まない; fact30 & int9 -> int10: その飯綱使いは朝鮮人コルホーズでなくてその上それは買い込まない; fact28 & int10 -> int11: その飯綱使いは連ならない; fact29 & int11 -> int12: 「「その飯綱使いは絶縁しないがしかしそれは言い訳出来る」ということは間違いである」ということは成り立つ; fact35 & int12 -> int13: この党内は言い訳出来ない; int8 & int13 -> int14: この党内は磨き上げるし専従する; int14 -> int15: この党内は磨き上げる; int7 & int15 -> int16: この党内は急性アルコール中毒だけれど酸っぱいということはない; int16 -> int17: なんらかの物は急性アルコール中毒だが酸っぱくない;
$facts$ = fact1: 何かは磨き上げれば急性アルコール中毒であるがしかし酸っぱくない fact2: 「もし仮にその飯綱使いが酸っぱくないけれど磨き上げるとするとあの旧株は急性アルコール中毒でない」ということは真実だ fact3: もしもこの排泄器官は磨き上げないとしたら「あの旧株は磨き上げるし専従する」ということは成り立たない fact4: その飯綱使いは磨き上げない fact5: もしもその飯綱使いは物悲しいということはないかもしくは書き過ぎるということはないか両方ともであるとすれば買い込まない fact6: その飯綱使いは物悲しくないかもしくはそれは書き過ぎない fact7: 仮に「「その飯綱使いは絶縁しないがしかしそれは言い訳出来る」ということは誤りだ」ということは確かならばあの党内は言い訳出来ない fact8: その初夏は取り引き出来なくて上皮化しない fact9: この俄か成金は売却する fact10: この党内が尋ね歩かないし更に止む無くない fact11: もし仮に「その飯綱使いは朝鮮人コルホーズでなくて買い込まない」ということは事実であるならば「連ならない」ということは真実だ fact12: 仮に「この党内は独り立ちするということはない」ということは成り立つならその飯綱使いは急性アルコール中毒でないしさらに酸っぱくない fact13: 仮にあの旧株は急性アルコール中毒でないならば「その飯綱使いは急性アルコール中毒であるし磨き上げる」ということは誤りである fact14: もしもなにかは急性アルコール中毒でないとすると磨き上げない fact15: 仮に「あの旧株は磨き上げるし更にそれは独り立ちする」ということは間違いだとしたら売却しない fact16: もしもなにがしかの物が朝鮮人コルホーズだということはないとしたら丸くない fact17: もし仮に「何かは磨き上げるしそれに専従する」ということは成り立たないとすれば上皮化しない fact18: 仮にその飯綱使いが急性アルコール中毒でないしおまけにそれが酸っぱくないならこの排泄器官は磨き上げるということはない fact19: その飯綱使いは朝鮮人コルホーズでない fact20: もしもその飯綱使いは連ならないとすれば「絶縁しないけど言い訳出来る」ということは成り立つということはない fact21: もしもなにがしかのものが独り立ちするということはないとするとそれは上皮化するしそれは売却する fact22: 「この排泄器官は専従しない」ということは確かだ fact23: この党内は売却する fact24: この党内が売却するならそれは独り立ちしない fact25: もしもあるものが言い訳出来るということはないとするとそれは磨き上げるしそれは専従する fact26: その飯綱使いは磨き上げなくてしかもそれは酸っぱくない ; $hypothesis$ = あの旧株は上皮化しない ; $proof$ = 
fact24 & fact23 -> int1: この党内は独り立ちしない; int1 & fact12 -> int2: その飯綱使いは急性アルコール中毒でないしその上それは酸っぱくない; int2 & fact18 -> int3: この排泄器官は磨き上げない; int3 & fact3 -> int4: 「あの旧株は磨き上げるし専従する」ということは偽だ; fact17 -> int5: 「あの旧株は磨き上げるし加えて専従する」ということは偽であるなら上皮化しない; int4 & int5 -> 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: この党内は売却する
事実24: この党内が売却するならそれは独り立ちしない
事実25: もしもあるものが言い訳出来るということはないとするとそれは磨き上げるしそれは専従する
事実26: その飯綱使いは磨き上げなくてしかもそれは酸っぱくない

仮説: あの旧株は上皮化しない
1. 事実24と事実23から、推論1: "この党内は独り立ちしない"が導かれる
2. 推論1と事実12から、推論2: "その飯綱使いは急性アルコール中毒でないしその上それは酸っぱくない"が導かれる
3. 推論2と事実18から、推論3: "この排泄器官は磨き上げない"が導かれる
4. 推論3と事実3から、推論4: "「あの旧株は磨き上げるし専従する」ということは偽だ"が導かれる
5. 事実17から、推論5: "「あの旧株は磨き上げるし加えて専従する」ということは偽であるなら上皮化しない"が導かれる
6. 推論4と推論5から、仮説が導かれる

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