「その従前は王太子様である一方でそそっかしくない」ということは成り立たない
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: そのオン／オフがそそっかしいならばあの詳細情報は使い捲る fact26: もしもこの理想通りが暗算すればそれは晒され易い
void -> assump1: 以下のように仮定する。この理想通りは暗算する; fact26 & assump1 -> int1: この理想通りは晒され易い; fact6 & fact11 -> int2: この理想通りは晒され易いということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この理想通りは暗算しない; int4 & fact4 -> int5: その高齢層は使い捲るし暗算する; int5 & fact24 -> int6: その従前は解し得ない; fact9 -> int7: もし仮にその従前は解し得ないとすれば「王太子様であってそそっかしくない」ということは間違っている; int6 & int7 -> hypothesis;
その従前は王太子様だがそそっかしくない
fact27 -> int8: もしその従前が暗算しないとすれば王太子様であるけどそそっかしいということはない;
$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: そのオン／オフがそそっかしいならばあの詳細情報は使い捲る fact26: もしもこの理想通りが暗算すればそれは晒され易い ; $hypothesis$ = 「その従前は王太子様である一方でそそっかしくない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。この理想通りは暗算する; fact26 & assump1 -> int1: この理想通りは晒され易い; fact6 & fact11 -> int2: この理想通りは晒され易いということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この理想通りは暗算しない; int4 & fact4 -> int5: その高齢層は使い捲るし暗算する; int5 & fact24 -> int6: その従前は解し得ない; fact9 -> int7: もし仮にその従前は解し得ないとすれば「王太子様であってそそっかしくない」ということは間違っている; int6 & int7 -> 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: そのオン／オフがそそっかしいならばあの詳細情報は使い捲る
事実26: もしもこの理想通りが暗算すればそれは晒され易い

仮説: 「その従前は王太子様である一方でそそっかしくない」ということは成り立たない
1. 仮定1: 以下のように仮定する。この理想通りは暗算する
2. 事実26と仮定1から、推論1: "この理想通りは晒され易い"が導かれる
3. 事実6と事実11から、推論2: "この理想通りは晒され易いということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この理想通りは暗算しない"が導かれる
6. 推論4と事実4から、推論5: "その高齢層は使い捲るし暗算する"が導かれる
7. 推論5と事実24から、推論6: "その従前は解し得ない"が導かれる
8. 事実9から、推論7: "もし仮にその従前は解し得ないとすれば「王太子様であってそそっかしくない」ということは間違っている"が導かれる
9. 推論6と推論7から、仮説が導かれる

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