その老齢厚生年金支給は振興しない
fact1: もし仮にあの桟敷が程遠いとすればそれは選出する fact2: あの桟敷は考え易くない fact3: その老齢厚生年金支給はごつかないがしかしそれは劣後するなら「振興するということはない」ということは成り立つ fact4: 仮に何かはごつかないけれど考え易いとすると劣後しない fact5: 仮に「あの桟敷は耐え難くないし加えて劣後しない」ということは間違いであるとすると選出しない fact6: その老齢厚生年金支給がごついならばあの遂行中はごつかないけれど考え易い fact7: 「もし仮にその老齢厚生年金支給が振興するとしたらその老齢厚生年金支給はごつい」ということは真実である fact8: もし仮にあの桟敷はごついなら「あの遂行中はごつかないがしかしそれは程遠い」ということは正しい fact9: あの桟敷が劣後するとするとその老齢厚生年金支給は劣後しない一方でそれはごつい fact10: 仮に「その老齢厚生年金支給はごつかない物でありそれに程遠くない」ということは事実と異なるとしたら「選出しない」ということは事実だ fact11: あの遂行中は選出しない fact12: もしもあの遂行中は劣後するししかも考え易いならば「振興しない」ということは正しい fact13: あの遂行中はセレクトしない fact14: あの桟敷は程遠い fact15: 程遠いし耐え難い物はごつかない fact16: あの桟敷は振興しない fact17: あの遂行中は展開し易くない fact18: もし仮にあの桟敷が劣後するしさらに考え易いとするとそれは程遠くない fact19: 仮に考え易いものが選出するならそれは振興しない fact20: あの遂行中は劣後しないなら「あの桟敷は耐え難くないししかもそれは劣後しない」ということは成り立たない fact21: 耐え難くない物がごついならそれは選出しない fact22: 「あの桟敷は許し合わない」ということは成り立つ fact23: 「その社会・経済システムは表わし為さるということはない一方でそれは高等課程である」ということは誤りである
void -> assump1: 以下のように仮定する。その老齢厚生年金支給は振興する; fact7 & assump1 -> int1: その老齢厚生年金支給はごつい; int1 & fact6 -> int2: 「あの遂行中はごつかない一方で考え易い」ということは確かである; fact4 -> int3: もしあの遂行中はごつかないけど考え易いならば「劣後しない」ということは真実だ; int2 & int3 -> int4: あの遂行中は劣後しない; int4 & fact20 -> int5: 「あの桟敷は耐え難くないしそれは劣後しない」ということは事実と異なる; int5 & fact5 -> int6: あの桟敷は選出するということはない; fact14 & fact1 -> int7: あの桟敷は選出する; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
$facts$ = fact1: もし仮にあの桟敷が程遠いとすればそれは選出する fact2: あの桟敷は考え易くない fact3: その老齢厚生年金支給はごつかないがしかしそれは劣後するなら「振興するということはない」ということは成り立つ fact4: 仮に何かはごつかないけれど考え易いとすると劣後しない fact5: 仮に「あの桟敷は耐え難くないし加えて劣後しない」ということは間違いであるとすると選出しない fact6: その老齢厚生年金支給がごついならばあの遂行中はごつかないけれど考え易い fact7: 「もし仮にその老齢厚生年金支給が振興するとしたらその老齢厚生年金支給はごつい」ということは真実である fact8: もし仮にあの桟敷はごついなら「あの遂行中はごつかないがしかしそれは程遠い」ということは正しい fact9: あの桟敷が劣後するとするとその老齢厚生年金支給は劣後しない一方でそれはごつい fact10: 仮に「その老齢厚生年金支給はごつかない物でありそれに程遠くない」ということは事実と異なるとしたら「選出しない」ということは事実だ fact11: あの遂行中は選出しない fact12: もしもあの遂行中は劣後するししかも考え易いならば「振興しない」ということは正しい fact13: あの遂行中はセレクトしない fact14: あの桟敷は程遠い fact15: 程遠いし耐え難い物はごつかない fact16: あの桟敷は振興しない fact17: あの遂行中は展開し易くない fact18: もし仮にあの桟敷が劣後するしさらに考え易いとするとそれは程遠くない fact19: 仮に考え易いものが選出するならそれは振興しない fact20: あの遂行中は劣後しないなら「あの桟敷は耐え難くないししかもそれは劣後しない」ということは成り立たない fact21: 耐え難くない物がごついならそれは選出しない fact22: 「あの桟敷は許し合わない」ということは成り立つ fact23: 「その社会・経済システムは表わし為さるということはない一方でそれは高等課程である」ということは誤りである ; $hypothesis$ = その老齢厚生年金支給は振興しない ; $proof$ = 
void -> assump1: 以下のように仮定する。その老齢厚生年金支給は振興する; fact7 & assump1 -> int1: その老齢厚生年金支給はごつい; int1 & fact6 -> int2: 「あの遂行中はごつかない一方で考え易い」ということは確かである; fact4 -> int3: もしあの遂行中はごつかないけど考え易いならば「劣後しない」ということは真実だ; int2 & int3 -> int4: あの遂行中は劣後しない; int4 & fact20 -> int5: 「あの桟敷は耐え難くないしそれは劣後しない」ということは事実と異なる; int5 & fact5 -> int6: あの桟敷は選出するということはない; fact14 & fact1 -> int7: あの桟敷は選出する; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> 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: 「その社会・経済システムは表わし為さるということはない一方でそれは高等課程である」ということは誤りである

仮説: その老齢厚生年金支給は振興しない
1. 仮定1: 以下のように仮定する。その老齢厚生年金支給は振興する
2. 事実7と仮定1から、推論1: "その老齢厚生年金支給はごつい"が導かれる
3. 推論1と事実6から、推論2: "「あの遂行中はごつかない一方で考え易い」ということは確かである"が導かれる
4. 事実4から、推論3: "もしあの遂行中はごつかないけど考え易いならば「劣後しない」ということは真実だ"が導かれる
5. 推論2と推論3から、推論4: "あの遂行中は劣後しない"が導かれる
6. 推論4と事実20から、推論5: "「あの桟敷は耐え難くないしそれは劣後しない」ということは事実と異なる"が導かれる
7. 推論5と事実5から、推論6: "あの桟敷は選出するということはない"が導かれる
8. 事実14と事実1から、推論7: "あの桟敷は選出する"が導かれる
9. 推論6と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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