あの初回維持量は儀式化しない
fact1: あの連結リストは作り難くない fact2: 「あの初回維持量は融通性である」ということは事実である fact3: 「離れ難いものはＹ子さんである」ということは本当だ fact4: もし仮になにがしかの物が見入るならあの初回維持量は下見板張りであるしおまけに在宅する fact5: 「見入る」物はある fact6: もしも「解任しない」ものはあるとすれば「その学問は往生出来なくて加えてそれは作り難くない」ということは成り立たない fact7: もしある物が閑却するということはないけれどそれが往生出来るとすればそれはＹ子さんでない fact8: もしもあの初回維持量が融通性であるしそれは下見板張りだとすると「あの連結リストは制限期間であるということはない」ということは本当である fact9: 「「その学問は往生出来るということはなくてまたそれは作り難いということはない」ということは成り立たない」ということは本当だとすればあの対空ミサイルは往生出来ない fact10: もしもあの連結リストが作り難いということはないとするとそれは閑却しないけど往生出来る fact11: もしもなんらかのものは往生出来ないとすれば「それは儀式化するししかもそれは閑却する」ということは誤りだ fact12: もし仮にとあるものが離れ難くないならばそれはＹ子さんでない fact13: もし仮にその学問が共有すらないかまたはそれがどうして良くないかもしくは両方ともであるならあの連結リストは離れ難い fact14: 「その学問は共有すかもしくはどうして良くない」ということは誤っているならあの初回維持量は儀式化するということはない fact15: もしとあるものは閑却するとすると「それはＹ子さんでないし離れ難い」ということは成り立つということはない fact16: 「その学問は共有すらないかもしくはどうして良くない」ということは成り立つということはないならば「あの初回維持量は儀式化しない」ということは成り立つ fact17: もしもあるものは制限期間でないなら「それは解任しない」ということは本当だ fact18: 仮にあの連結リストが往生出来ればその学問は閑却する
void -> assump1: 以下のように仮定する。その学問は共有すらないかどうして良くないかあるいは両方である; fact13 & assump1 -> int1: あの連結リストは離れ難い; fact3 -> int2: もしあの連結リストが離れ難いとするとそれはＹ子さんである; int1 & int2 -> int3: あの連結リストはＹ子さんだ; fact7 -> int4: あの連結リストは閑却しないが往生出来るとしたらＹ子さんであるということはない; fact10 & fact1 -> int5: あの連結リストは閑却しないがしかし往生出来る; int4 & int5 -> int6: あの連結リストはＹ子さんでない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「その学問は共有すらないかもしくはどうして良くない」ということは偽だ; int8 & fact16 -> hypothesis;
あの対空ミサイルはＹ子さんでない
fact25 -> int9: 仮にあの対空ミサイルは離れ難くないとすると「Ｙ子さんでない」ということは間違いでない; fact21 -> int10: 仮にあの対空ミサイルは往生出来ないとすれば「「それは儀式化するしそれは閑却する」ということは成り立つ」ということは誤りだ; fact22 -> int11: 仮に「あの連結リストは制限期間でない」ということは事実であるとすればそれは解任するということはない; fact23 & fact19 -> int12: 「あの初回維持量は下見板張りであるしおまけに在宅する」ということは成り立つ; int12 -> int13: あの初回維持量は下見板張りだ; fact26 & int13 -> int14: あの初回維持量は融通性であるし下見板張りである; fact27 & int14 -> int15: あの連結リストは制限期間でない; int11 & int15 -> int16: あの連結リストは解任するということはない; int16 -> int17: 「解任しない」ものはある; int17 & fact24 -> int18: 「その学問は往生出来ないし作り難くない」ということは成り立たない; fact20 & int18 -> int19: あの対空ミサイルは往生出来ない; int10 & int19 -> int20: 「あの対空ミサイルが儀式化するしその上閑却する」ということは偽だ;
$facts$ = fact1: あの連結リストは作り難くない fact2: 「あの初回維持量は融通性である」ということは事実である fact3: 「離れ難いものはＹ子さんである」ということは本当だ fact4: もし仮になにがしかの物が見入るならあの初回維持量は下見板張りであるしおまけに在宅する fact5: 「見入る」物はある fact6: もしも「解任しない」ものはあるとすれば「その学問は往生出来なくて加えてそれは作り難くない」ということは成り立たない fact7: もしある物が閑却するということはないけれどそれが往生出来るとすればそれはＹ子さんでない fact8: もしもあの初回維持量が融通性であるしそれは下見板張りだとすると「あの連結リストは制限期間であるということはない」ということは本当である fact9: 「「その学問は往生出来るということはなくてまたそれは作り難いということはない」ということは成り立たない」ということは本当だとすればあの対空ミサイルは往生出来ない fact10: もしもあの連結リストが作り難いということはないとするとそれは閑却しないけど往生出来る fact11: もしもなんらかのものは往生出来ないとすれば「それは儀式化するししかもそれは閑却する」ということは誤りだ fact12: もし仮にとあるものが離れ難くないならばそれはＹ子さんでない fact13: もし仮にその学問が共有すらないかまたはそれがどうして良くないかもしくは両方ともであるならあの連結リストは離れ難い fact14: 「その学問は共有すかもしくはどうして良くない」ということは誤っているならあの初回維持量は儀式化するということはない fact15: もしとあるものは閑却するとすると「それはＹ子さんでないし離れ難い」ということは成り立つということはない fact16: 「その学問は共有すらないかもしくはどうして良くない」ということは成り立つということはないならば「あの初回維持量は儀式化しない」ということは成り立つ fact17: もしもあるものは制限期間でないなら「それは解任しない」ということは本当だ fact18: 仮にあの連結リストが往生出来ればその学問は閑却する ; $hypothesis$ = あの初回維持量は儀式化しない ; $proof$ = 
void -> assump1: 以下のように仮定する。その学問は共有すらないかどうして良くないかあるいは両方である; fact13 & assump1 -> int1: あの連結リストは離れ難い; fact3 -> int2: もしあの連結リストが離れ難いとするとそれはＹ子さんである; int1 & int2 -> int3: あの連結リストはＹ子さんだ; fact7 -> int4: あの連結リストは閑却しないが往生出来るとしたらＹ子さんであるということはない; fact10 & fact1 -> int5: あの連結リストは閑却しないがしかし往生出来る; int4 & int5 -> int6: あの連結リストはＹ子さんでない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「その学問は共有すらないかもしくはどうして良くない」ということは偽だ; int8 & fact16 -> hypothesis; __PROVED__
事実1: あの連結リストは作り難くない
事実2: 「あの初回維持量は融通性である」ということは事実である
事実3: 「離れ難いものはＹ子さんである」ということは本当だ
事実4: もし仮になにがしかの物が見入るならあの初回維持量は下見板張りであるしおまけに在宅する
事実5: 「見入る」物はある
事実6: もしも「解任しない」ものはあるとすれば「その学問は往生出来なくて加えてそれは作り難くない」ということは成り立たない
事実7: もしある物が閑却するということはないけれどそれが往生出来るとすればそれはＹ子さんでない
事実8: もしもあの初回維持量が融通性であるしそれは下見板張りだとすると「あの連結リストは制限期間であるということはない」ということは本当である
事実9: 「「その学問は往生出来るということはなくてまたそれは作り難いということはない」ということは成り立たない」ということは本当だとすればあの対空ミサイルは往生出来ない
事実10: もしもあの連結リストが作り難いということはないとするとそれは閑却しないけど往生出来る
事実11: もしもなんらかのものは往生出来ないとすれば「それは儀式化するししかもそれは閑却する」ということは誤りだ
事実12: もし仮にとあるものが離れ難くないならばそれはＹ子さんでない
事実13: もし仮にその学問が共有すらないかまたはそれがどうして良くないかもしくは両方ともであるならあの連結リストは離れ難い
事実14: 「その学問は共有すかもしくはどうして良くない」ということは誤っているならあの初回維持量は儀式化するということはない
事実15: もしとあるものは閑却するとすると「それはＹ子さんでないし離れ難い」ということは成り立つということはない
事実16: 「その学問は共有すらないかもしくはどうして良くない」ということは成り立つということはないならば「あの初回維持量は儀式化しない」ということは成り立つ
事実17: もしもあるものは制限期間でないなら「それは解任しない」ということは本当だ
事実18: 仮にあの連結リストが往生出来ればその学問は閑却する

仮説: あの初回維持量は儀式化しない
1. 仮定1: 以下のように仮定する。その学問は共有すらないかどうして良くないかあるいは両方である
2. 事実13と仮定1から、推論1: "あの連結リストは離れ難い"が導かれる
3. 事実3から、推論2: "もしあの連結リストが離れ難いとするとそれはＹ子さんである"が導かれる
4. 推論1と推論2から、推論3: "あの連結リストはＹ子さんだ"が導かれる
5. 事実7から、推論4: "あの連結リストは閑却しないが往生出来るとしたらＹ子さんであるということはない"が導かれる
6. 事実10と事実1から、推論5: "あの連結リストは閑却しないがしかし往生出来る"が導かれる
7. 推論4と推論5から、推論6: "あの連結リストはＹ子さんでない"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "「その学問は共有すらないかもしくはどうして良くない」ということは偽だ"が導かれる
10. 推論8と事実16から、仮説が導かれる

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