もしもあの個人情報保護法案が久しとすればあの鈍感さは克服出来ない
fact1: 「あるものは儚しかもしくは通じ難いかどちらもである」ということは間違いであるなら克服出来る fact2: 仮に「移転すらない」ものはあれば「この鈍感さは儚しかあるいはそれは通じ難い」ということは真実でない fact3: もし「この鈍感さは儚しかあるいは通じ難いか両方である」ということは誤っているとしたら克服出来る fact4: もしあの個人情報保護法案は移転すかあるいは冷たいかまたはどちらもであるとすればそれは久しない fact5: もしも久しということはない物は通じ難くないなら「それは冷たくない」ということは事実と異ならない fact6: もしも「なにがしかのものは儚しか通じ難い」ということは偽だとすればそれは克服出来るということはない
void -> assump1: 以下のように仮定する。あの個人情報保護法案は移転す; assump1 -> int1: あの個人情報保護法案は移転すかあるいは冷たいかまたはどちらもだ; int1 & fact4 -> int2: あの個人情報保護法案は久しない; void -> assump2: 以下のように仮定する。「あの個人情報保護法案は久し」ということは事実だ; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの個人情報保護法案は移転すらない」ということは確かである; int4 -> int5: 「移転すということはない」物はある; int5 & fact2 -> int6: 「この鈍感さは儚しかもしくは通じ難い」ということは間違いだ; fact6 -> int7: もし「この鈍感さは儚しかもしくは通じ難い」ということは事実でないとしたら克服出来るということはない; int6 & int7 -> int8: この鈍感さは克服出来るということはない; [assump2] & int8 -> hypothesis;
このジャングルは儚し
fact7 -> int9: このジャングルが久しないしそれが通じ難くないならそれは冷たくない;
$facts$ = fact1: 「あるものは儚しかもしくは通じ難いかどちらもである」ということは間違いであるなら克服出来る fact2: 仮に「移転すらない」ものはあれば「この鈍感さは儚しかあるいはそれは通じ難い」ということは真実でない fact3: もし「この鈍感さは儚しかあるいは通じ難いか両方である」ということは誤っているとしたら克服出来る fact4: もしあの個人情報保護法案は移転すかあるいは冷たいかまたはどちらもであるとすればそれは久しない fact5: もしも久しということはない物は通じ難くないなら「それは冷たくない」ということは事実と異ならない fact6: もしも「なにがしかのものは儚しか通じ難い」ということは偽だとすればそれは克服出来るということはない ; $hypothesis$ = もしもあの個人情報保護法案が久しとすればあの鈍感さは克服出来ない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの個人情報保護法案は移転す; assump1 -> int1: あの個人情報保護法案は移転すかあるいは冷たいかまたはどちらもだ; int1 & fact4 -> int2: あの個人情報保護法案は久しない; void -> assump2: 以下のように仮定する。「あの個人情報保護法案は久し」ということは事実だ; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの個人情報保護法案は移転すらない」ということは確かである; int4 -> int5: 「移転すということはない」物はある; int5 & fact2 -> int6: 「この鈍感さは儚しかもしくは通じ難い」ということは間違いだ; fact6 -> int7: もし「この鈍感さは儚しかもしくは通じ難い」ということは事実でないとしたら克服出来るということはない; int6 & int7 -> int8: この鈍感さは克服出来るということはない; [assump2] & int8 -> hypothesis; __PROVED__
事実1: 「あるものは儚しかもしくは通じ難いかどちらもである」ということは間違いであるなら克服出来る
事実2: 仮に「移転すらない」ものはあれば「この鈍感さは儚しかあるいはそれは通じ難い」ということは真実でない
事実3: もし「この鈍感さは儚しかあるいは通じ難いか両方である」ということは誤っているとしたら克服出来る
事実4: もしあの個人情報保護法案は移転すかあるいは冷たいかまたはどちらもであるとすればそれは久しない
事実5: もしも久しということはない物は通じ難くないなら「それは冷たくない」ということは事実と異ならない
事実6: もしも「なにがしかのものは儚しか通じ難い」ということは偽だとすればそれは克服出来るということはない

仮説: もしもあの個人情報保護法案が久しとすればあの鈍感さは克服出来ない
1. 仮定1: 以下のように仮定する。あの個人情報保護法案は移転す
2. 仮定1から、推論1: "あの個人情報保護法案は移転すかあるいは冷たいかまたはどちらもだ"が導かれる
3. 推論1と事実4から、推論2: "あの個人情報保護法案は久しない"が導かれる
4. 仮定2: 以下のように仮定する。「あの個人情報保護法案は久し」ということは事実だ
5. 推論2と仮定2から、推論3: "これは矛盾である"が導かれる
6. [仮定1]と推論3から、推論4: "「あの個人情報保護法案は移転すらない」ということは確かである"が導かれる
7. 推論4から、推論5: "「移転すということはない」物はある"が導かれる
8. 推論5と事実2から、推論6: "「この鈍感さは儚しかもしくは通じ難い」ということは間違いだ"が導かれる
9. 事実6から、推論7: "もし「この鈍感さは儚しかもしくは通じ難い」ということは事実でないとしたら克服出来るということはない"が導かれる
10. 推論6と推論7から、推論8: "この鈍感さは克服出来るということはない"が導かれる
11. [仮定2]と推論8から、仮説が導かれる

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