あの輝かしさは死去である
fact1: あの輝かしさは予期出来ない fact2: 「「違くないかもしくは原爆ドームであるか両方だ」ということは間違っている」ものがあるとしたらあの輝かしさは死去であるということはない fact3: もしもこの分解能が死去でないとするとあの輝かしさは縦走筋であるか違くないかあるいは両方ともである fact4: もし仮に「「予期出来るということはないかもしくは握り易い」ということは嘘な」物があるとするとこの分解能は原爆ドームでない fact5: この分解能は縦走筋であるかもしくは原爆ドームでないかもしくは両方だとしたら「死去だ」ということは確かである fact6: 「「死去でないかあるいは縦走筋であるかあるいは両方だ」ということは事実だということはない」ものはあるとすると「あの輝かしさは原爆ドームでない」ということは事実だ fact7: もし仮に「「予期出来るか握り易いかあるいは両方である」ということは間違っている」物があるとするとこの分解能は原爆ドームでない fact8: もしあの輝かしさが死去でないならこの分解能は縦走筋であるかもしくは原爆ドームでないかもしくは両方だ fact9: もしもこの分解能が原爆ドームでないならあの輝かしさは縦走筋であるかもしくは違い fact10: もし仮に何らかの物は違くないとすれば「それは死去だ」ということは成り立つ fact11: 仮にこの分解能が違くないとしたらあの輝かしさは原爆ドームであるかそれは死去でない fact12: もし仮にあるものが縦走筋であるか違くないかもしくは両方ならそれは死去だ fact13: 「予期出来ないかあるいは握り易いかもしくは両方である」ものはある fact14: この分解能は理解するということはない fact15: もし「とあるものは死去だしその上縦走筋である」ということは誤りなら死去でない fact16: もしもこの分解能が原爆ドームであるということはないとしたらあの輝かしさは縦走筋であるかもしくはそれは違くない fact17: 「「予期出来るということはないかまたは握り易いか両方だ」ということは嘘な」物はある fact18: あの輝かしさは縦走筋であるかまたは違い fact19: もし仮にあの輝かしさが違くないならば死去だ fact20: 「予期出来る」ものはある fact21: あの輝かしさは平べったくない fact22: もし仮にあの輝かしさは原爆ドームでないとすれば「死去であるし縦走筋だ」ということは成り立たない
fact17 & fact4 -> int1: この分解能は原爆ドームでない; int1 & fact16 -> int2: あの輝かしさは縦走筋であるかまたはそれは違くないかどちらもだ; fact12 -> int3: もしあの輝かしさは縦走筋であるかもしくは違くないかもしくは両方ともだとしたら死去である; int2 & int3 -> hypothesis;
あの輝かしさは死去でない
fact24 -> int4: もしも「あの輝かしさは死去で縦走筋である」ということは本当でないならば死去でない;
$facts$ = fact1: あの輝かしさは予期出来ない fact2: 「「違くないかもしくは原爆ドームであるか両方だ」ということは間違っている」ものがあるとしたらあの輝かしさは死去であるということはない fact3: もしもこの分解能が死去でないとするとあの輝かしさは縦走筋であるか違くないかあるいは両方ともである fact4: もし仮に「「予期出来るということはないかもしくは握り易い」ということは嘘な」物があるとするとこの分解能は原爆ドームでない fact5: この分解能は縦走筋であるかもしくは原爆ドームでないかもしくは両方だとしたら「死去だ」ということは確かである fact6: 「「死去でないかあるいは縦走筋であるかあるいは両方だ」ということは事実だということはない」ものはあるとすると「あの輝かしさは原爆ドームでない」ということは事実だ fact7: もし仮に「「予期出来るか握り易いかあるいは両方である」ということは間違っている」物があるとするとこの分解能は原爆ドームでない fact8: もしあの輝かしさが死去でないならこの分解能は縦走筋であるかもしくは原爆ドームでないかもしくは両方だ fact9: もしもこの分解能が原爆ドームでないならあの輝かしさは縦走筋であるかもしくは違い fact10: もし仮に何らかの物は違くないとすれば「それは死去だ」ということは成り立つ fact11: 仮にこの分解能が違くないとしたらあの輝かしさは原爆ドームであるかそれは死去でない fact12: もし仮にあるものが縦走筋であるか違くないかもしくは両方ならそれは死去だ fact13: 「予期出来ないかあるいは握り易いかもしくは両方である」ものはある fact14: この分解能は理解するということはない fact15: もし「とあるものは死去だしその上縦走筋である」ということは誤りなら死去でない fact16: もしもこの分解能が原爆ドームであるということはないとしたらあの輝かしさは縦走筋であるかもしくはそれは違くない fact17: 「「予期出来るということはないかまたは握り易いか両方だ」ということは嘘な」物はある fact18: あの輝かしさは縦走筋であるかまたは違い fact19: もし仮にあの輝かしさが違くないならば死去だ fact20: 「予期出来る」ものはある fact21: あの輝かしさは平べったくない fact22: もし仮にあの輝かしさは原爆ドームでないとすれば「死去であるし縦走筋だ」ということは成り立たない ; $hypothesis$ = あの輝かしさは死去である ; $proof$ = 
fact17 & fact4 -> int1: この分解能は原爆ドームでない; int1 & fact16 -> int2: あの輝かしさは縦走筋であるかまたはそれは違くないかどちらもだ; fact12 -> int3: もしあの輝かしさは縦走筋であるかもしくは違くないかもしくは両方ともだとしたら死去である; int2 & int3 -> hypothesis; __PROVED__
事実1: あの輝かしさは予期出来ない
事実2: 「「違くないかもしくは原爆ドームであるか両方だ」ということは間違っている」ものがあるとしたらあの輝かしさは死去であるということはない
事実3: もしもこの分解能が死去でないとするとあの輝かしさは縦走筋であるか違くないかあるいは両方ともである
事実4: もし仮に「「予期出来るということはないかもしくは握り易い」ということは嘘な」物があるとするとこの分解能は原爆ドームでない
事実5: この分解能は縦走筋であるかもしくは原爆ドームでないかもしくは両方だとしたら「死去だ」ということは確かである
事実6: 「「死去でないかあるいは縦走筋であるかあるいは両方だ」ということは事実だということはない」ものはあるとすると「あの輝かしさは原爆ドームでない」ということは事実だ
事実7: もし仮に「「予期出来るか握り易いかあるいは両方である」ということは間違っている」物があるとするとこの分解能は原爆ドームでない
事実8: もしあの輝かしさが死去でないならこの分解能は縦走筋であるかもしくは原爆ドームでないかもしくは両方だ
事実9: もしもこの分解能が原爆ドームでないならあの輝かしさは縦走筋であるかもしくは違い
事実10: もし仮に何らかの物は違くないとすれば「それは死去だ」ということは成り立つ
事実11: 仮にこの分解能が違くないとしたらあの輝かしさは原爆ドームであるかそれは死去でない
事実12: もし仮にあるものが縦走筋であるか違くないかもしくは両方ならそれは死去だ
事実13: 「予期出来ないかあるいは握り易いかもしくは両方である」ものはある
事実14: この分解能は理解するということはない
事実15: もし「とあるものは死去だしその上縦走筋である」ということは誤りなら死去でない
事実16: もしもこの分解能が原爆ドームであるということはないとしたらあの輝かしさは縦走筋であるかもしくはそれは違くない
事実17: 「「予期出来るということはないかまたは握り易いか両方だ」ということは嘘な」物はある
事実18: あの輝かしさは縦走筋であるかまたは違い
事実19: もし仮にあの輝かしさが違くないならば死去だ
事実20: 「予期出来る」ものはある
事実21: あの輝かしさは平べったくない
事実22: もし仮にあの輝かしさは原爆ドームでないとすれば「死去であるし縦走筋だ」ということは成り立たない

仮説: あの輝かしさは死去である
1. 事実17と事実4から、推論1: "この分解能は原爆ドームでない"が導かれる
2. 推論1と事実16から、推論2: "あの輝かしさは縦走筋であるかまたはそれは違くないかどちらもだ"が導かれる
3. 事実12から、推論3: "もしあの輝かしさは縦走筋であるかもしくは違くないかもしくは両方ともだとしたら死去である"が導かれる
4. 推論2と推論3から、仮説が導かれる

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