もしもこの今様は暗闘でないとしたら「「このアプリケーションデータはど偉いということはないししかもそれは吝くない」ということは成り立たない」ということは間違っていない
fact1: もしこの今様は暗闘でないなら「このアプリケーションデータはど偉いけど吝くない」ということは間違いだ fact2: 「あの血圧測定はど偉い」ということは確かである fact3: ある物は禍であるとしたらそれは夢想する fact4: もし仮にこのアプリケーションデータが暮らし易くないならこの今様は起こし難い fact5: 仮にこの今様が吝くないとしたらこのアプリケーションデータは暗闘でなくてしかも起こし難くない fact6: もしもこのアプリケーションデータが暮らし易いということはないならこの今様は暮らし易いしさらに起こし難い fact7: 「このアプリケーションデータはど偉くない」ということは成り立つ fact8: もしもこのアプリケーションデータはど偉くないが吝いとすればそれは暮らし易いということはない fact9: もし仮にこの今様は暗闘であるということはないなら「このアプリケーションデータはど偉いということはないけどそれは吝い」ということは成り立たない fact10: もしもこの今様は暮らし易いということはないとすると「このアプリケーションデータはど偉くなくてその上起こし難くない」ということは誤りだ fact11: 仮に「このアプリケーションデータはど偉くないし更に吝くない」ということは真実であるとしたら「それは暮らし易くない」ということは成り立つ fact12: 「この今様は水洗いしない」ということは本当である fact13: このアプリケーションデータが暗闘でないならばこの今様は暮らし易くないしさらに吝くない fact14: 暮らし易い物は禍である fact15: もしもこの今様がど偉くないならばこのアプリケーションデータはど偉いししかもそれは暮らし易い fact16: 「この今様は起こし難い」ということは真実だ fact17: もし仮にこの今様は暗闘ならば「このアプリケーションデータはど偉いということはないししかもそれは吝くない」ということは事実と異なる fact18: もしこのアプリケーションデータが暮らし易いなら禍である fact19: 「このアプリケーションデータはど偉いけれど吝くない」ということは誤っている fact20: 禍は暗闘である fact21: もしもこのアプリケーションデータがど偉い一方で吝くないならそれは暮らし易くない
void -> assump1: 以下のように仮定する。このアプリケーションデータはど偉いということはなくてそれは吝いということはない; fact11 & assump1 -> int1: このアプリケーションデータは暮らし易くない; int1 & fact6 -> int2: この今様は暮らし易くて起こし難い; int2 -> int3: この今様は暮らし易い; fact14 -> int4: 「もし「この今様は暮らし易い」ということは真実だとするとこの今様は禍である」ということは事実と異なるということはない; int3 & int4 -> int5: この今様は禍である; fact20 -> int6: もしこの今様は禍であるならそれは暗闘だ; int5 & int6 -> int7: この今様は暗闘である; void -> assump2: 以下のように仮定する。この今様は暗闘でない; int7 & assump2 -> int8: これは矛盾である; [assump1] & int8 -> int9: 「このアプリケーションデータはど偉くないしその上吝くない」ということは誤りだ; [assump2] & int9 -> hypothesis;
「この此れ自体は夢想しなくてその上それは吝いということはない」ということは間違いである
fact23 -> int10: このアプリケーションデータは禍であるとすると「夢想する」ということは事実である;
$facts$ = fact1: もしこの今様は暗闘でないなら「このアプリケーションデータはど偉いけど吝くない」ということは間違いだ fact2: 「あの血圧測定はど偉い」ということは確かである fact3: ある物は禍であるとしたらそれは夢想する fact4: もし仮にこのアプリケーションデータが暮らし易くないならこの今様は起こし難い fact5: 仮にこの今様が吝くないとしたらこのアプリケーションデータは暗闘でなくてしかも起こし難くない fact6: もしもこのアプリケーションデータが暮らし易いということはないならこの今様は暮らし易いしさらに起こし難い fact7: 「このアプリケーションデータはど偉くない」ということは成り立つ fact8: もしもこのアプリケーションデータはど偉くないが吝いとすればそれは暮らし易いということはない fact9: もし仮にこの今様は暗闘であるということはないなら「このアプリケーションデータはど偉いということはないけどそれは吝い」ということは成り立たない fact10: もしもこの今様は暮らし易いということはないとすると「このアプリケーションデータはど偉くなくてその上起こし難くない」ということは誤りだ fact11: 仮に「このアプリケーションデータはど偉くないし更に吝くない」ということは真実であるとしたら「それは暮らし易くない」ということは成り立つ fact12: 「この今様は水洗いしない」ということは本当である fact13: このアプリケーションデータが暗闘でないならばこの今様は暮らし易くないしさらに吝くない fact14: 暮らし易い物は禍である fact15: もしもこの今様がど偉くないならばこのアプリケーションデータはど偉いししかもそれは暮らし易い fact16: 「この今様は起こし難い」ということは真実だ fact17: もし仮にこの今様は暗闘ならば「このアプリケーションデータはど偉いということはないししかもそれは吝くない」ということは事実と異なる fact18: もしこのアプリケーションデータが暮らし易いなら禍である fact19: 「このアプリケーションデータはど偉いけれど吝くない」ということは誤っている fact20: 禍は暗闘である fact21: もしもこのアプリケーションデータがど偉い一方で吝くないならそれは暮らし易くない ; $hypothesis$ = もしもこの今様は暗闘でないとしたら「「このアプリケーションデータはど偉いということはないししかもそれは吝くない」ということは成り立たない」ということは間違っていない ; $proof$ = 
void -> assump1: 以下のように仮定する。このアプリケーションデータはど偉いということはなくてそれは吝いということはない; fact11 & assump1 -> int1: このアプリケーションデータは暮らし易くない; int1 & fact6 -> int2: この今様は暮らし易くて起こし難い; int2 -> int3: この今様は暮らし易い; fact14 -> int4: 「もし「この今様は暮らし易い」ということは真実だとするとこの今様は禍である」ということは事実と異なるということはない; int3 & int4 -> int5: この今様は禍である; fact20 -> int6: もしこの今様は禍であるならそれは暗闘だ; int5 & int6 -> int7: この今様は暗闘である; void -> assump2: 以下のように仮定する。この今様は暗闘でない; int7 & assump2 -> int8: これは矛盾である; [assump1] & int8 -> int9: 「このアプリケーションデータはど偉くないしその上吝くない」ということは誤りだ; [assump2] & int9 -> hypothesis; __PROVED__
事実1: もしこの今様は暗闘でないなら「このアプリケーションデータはど偉いけど吝くない」ということは間違いだ
事実2: 「あの血圧測定はど偉い」ということは確かである
事実3: ある物は禍であるとしたらそれは夢想する
事実4: もし仮にこのアプリケーションデータが暮らし易くないならこの今様は起こし難い
事実5: 仮にこの今様が吝くないとしたらこのアプリケーションデータは暗闘でなくてしかも起こし難くない
事実6: もしもこのアプリケーションデータが暮らし易いということはないならこの今様は暮らし易いしさらに起こし難い
事実7: 「このアプリケーションデータはど偉くない」ということは成り立つ
事実8: もしもこのアプリケーションデータはど偉くないが吝いとすればそれは暮らし易いということはない
事実9: もし仮にこの今様は暗闘であるということはないなら「このアプリケーションデータはど偉いということはないけどそれは吝い」ということは成り立たない
事実10: もしもこの今様は暮らし易いということはないとすると「このアプリケーションデータはど偉くなくてその上起こし難くない」ということは誤りだ
事実11: 仮に「このアプリケーションデータはど偉くないし更に吝くない」ということは真実であるとしたら「それは暮らし易くない」ということは成り立つ
事実12: 「この今様は水洗いしない」ということは本当である
事実13: このアプリケーションデータが暗闘でないならばこの今様は暮らし易くないしさらに吝くない
事実14: 暮らし易い物は禍である
事実15: もしもこの今様がど偉くないならばこのアプリケーションデータはど偉いししかもそれは暮らし易い
事実16: 「この今様は起こし難い」ということは真実だ
事実17: もし仮にこの今様は暗闘ならば「このアプリケーションデータはど偉いということはないししかもそれは吝くない」ということは事実と異なる
事実18: もしこのアプリケーションデータが暮らし易いなら禍である
事実19: 「このアプリケーションデータはど偉いけれど吝くない」ということは誤っている
事実20: 禍は暗闘である
事実21: もしもこのアプリケーションデータがど偉い一方で吝くないならそれは暮らし易くない

仮説: もしもこの今様は暗闘でないとしたら「「このアプリケーションデータはど偉いということはないししかもそれは吝くない」ということは成り立たない」ということは間違っていない
1. 仮定1: 以下のように仮定する。このアプリケーションデータはど偉いということはなくてそれは吝いということはない
2. 事実11と仮定1から、推論1: "このアプリケーションデータは暮らし易くない"が導かれる
3. 推論1と事実6から、推論2: "この今様は暮らし易くて起こし難い"が導かれる
4. 推論2から、推論3: "この今様は暮らし易い"が導かれる
5. 事実14から、推論4: "「もし「この今様は暮らし易い」ということは真実だとするとこの今様は禍である」ということは事実と異なるということはない"が導かれる
6. 推論3と推論4から、推論5: "この今様は禍である"が導かれる
7. 事実20から、推論6: "もしこの今様は禍であるならそれは暗闘だ"が導かれる
8. 推論5と推論6から、推論7: "この今様は暗闘である"が導かれる
9. 仮定2: 以下のように仮定する。この今様は暗闘でない
10. 推論7と仮定2から、推論8: "これは矛盾である"が導かれる
11. [仮定1]と推論8から、推論9: "「このアプリケーションデータはど偉くないしその上吝くない」ということは誤りだ"が導かれる
12. [仮定2]と推論9から、仮説が導かれる

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