「この五十七人は変化し易いということはないけどそれはＬＳＤだ」ということは成り立たない
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: 仮に「「この溶岩トンネルは如此しがしかしそれは原票でない」ということは成り立つ」ということは間違っているとすればあの企業概況分析は原票である
fact13 -> int1: 「この栄光は変え難いかごわごわする」ということは嘘である; fact8 -> int2: もし「この栄光は変え難いかごわごわするかまたは両方である」ということは間違いであるとすればそれは人気店でない; int1 & int2 -> int3: この栄光は人気店でない; void -> assump1: 以下のように仮定する。「この栄光は原票である」ということは本当だ; int3 & assump1 -> int4: この栄光は人気店でないけれどそれは原票だ; fact3 -> int5: この栄光は如此しないなら「人気店であるということはなくてそれは原票である」ということは誤りである; fact15 & fact9 -> int6: この栄光は如此しない; int5 & int6 -> int7: 「「この栄光は人気店でないが原票である」ということは本当だ」ということは成り立たない; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: この栄光は原票でない; int9 & fact2 -> hypothesis;
この五十七人は変化し易くないがしかしＬＳＤである
fact26 & fact28 -> int10: この少額供託事件は士でない; fact27 & int10 -> int11: この溶岩トンネルは三連複率だということはないが上限以内だ; int11 -> int12: この溶岩トンネルは三連複率でない; int12 -> int13: 「三連複率でない」物はある;
$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: 仮に「「この溶岩トンネルは如此しがしかしそれは原票でない」ということは成り立つ」ということは間違っているとすればあの企業概況分析は原票である ; $hypothesis$ = 「この五十七人は変化し易いということはないけどそれはＬＳＤだ」ということは成り立たない ; $proof$ = 
fact13 -> int1: 「この栄光は変え難いかごわごわする」ということは嘘である; fact8 -> int2: もし「この栄光は変え難いかごわごわするかまたは両方である」ということは間違いであるとすればそれは人気店でない; int1 & int2 -> int3: この栄光は人気店でない; void -> assump1: 以下のように仮定する。「この栄光は原票である」ということは本当だ; int3 & assump1 -> int4: この栄光は人気店でないけれどそれは原票だ; fact3 -> int5: この栄光は如此しないなら「人気店であるということはなくてそれは原票である」ということは誤りである; fact15 & fact9 -> int6: この栄光は如此しない; int5 & int6 -> int7: 「「この栄光は人気店でないが原票である」ということは本当だ」ということは成り立たない; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: この栄光は原票でない; int9 & fact2 -> 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: 仮に「「この溶岩トンネルは如此しがしかしそれは原票でない」ということは成り立つ」ということは間違っているとすればあの企業概況分析は原票である

仮説: 「この五十七人は変化し易いということはないけどそれはＬＳＤだ」ということは成り立たない
1. 事実13から、推論1: "「この栄光は変え難いかごわごわする」ということは嘘である"が導かれる
2. 事実8から、推論2: "もし「この栄光は変え難いかごわごわするかまたは両方である」ということは間違いであるとすればそれは人気店でない"が導かれる
3. 推論1と推論2から、推論3: "この栄光は人気店でない"が導かれる
4. 仮定1: 以下のように仮定する。「この栄光は原票である」ということは本当だ
5. 推論3と仮定1から、推論4: "この栄光は人気店でないけれどそれは原票だ"が導かれる
6. 事実3から、推論5: "この栄光は如此しないなら「人気店であるということはなくてそれは原票である」ということは誤りである"が導かれる
7. 事実15と事実9から、推論6: "この栄光は如此しない"が導かれる
8. 推論5と推論6から、推論7: "「「この栄光は人気店でないが原票である」ということは本当だ」ということは成り立たない"が導かれる
9. 推論4と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "この栄光は原票でない"が導かれる
11. 推論9と事実2から、仮説が導かれる

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