もし仮にあの民間設備投資は熱っぽいとすれば「この道行は美々しいということはないけどそれは教育システムである」ということは正しくない
fact1: 仮にあの民間設備投資が美々しいとすればこの道行は救命しないけど熱っぽい fact2: 「あの感染リスクは救命するということはない」ということは間違っていない fact3: 「この近作は救命するししかも深し」ということは偽である fact4: 教育システムが熱っぽくないとしたらそれは美々しい fact5: この合気道は救命しない fact6: もしもあの民間設備投資は熱っぽくないとすると「この道行は熱っぽくない一方で救命する」ということは成り立つということはない fact7: もしもこの道行が美々しいとしたらあの民間設備投資は教育システムでないけれどそれは熱っぽい fact8: あの民間設備投資は救命しない fact9: もしもこの道行は教育システムであるが熱っぽくないとすれば救命しない fact10: もし仮にこの道行は救命すれば「あの民間設備投資は教育システムでないけれど美々しい」ということは誤りだ fact11: 仮にこの道行は熱っぽいが救命するということはないならそれは美々しかない fact12: 仮に何かは急き込むがしかしそれが着替え為さらないとすれば合い難い fact13: その混合状態は救命しない fact14: この政策担当者は救命しない fact15: もしも美々しいものが救命しないならば熱っぽいということはない fact16: 「「そのフィルムは熱っぽくないけど立て難い」ということは成り立たない」ということは事実と異ならない fact17: あの民間設備投資は急き込む fact18: 仮に「あの民間設備投資は美々しかない」ということは正しいとすれば「この道行は美々しいということはないけれど教育システムである」ということは嘘だ
void -> assump1: 以下のように仮定する。あの民間設備投資は美々しい; assump1 & fact8 -> int1: あの民間設備投資は美々しいけれど救命するということはない; fact15 -> int2: もし仮にあの民間設備投資が美々しいけれど救命しないとすればそれは熱っぽくない; int1 & int2 -> int3: あの民間設備投資は熱っぽくない; void -> assump2: 以下のように仮定する。「あの民間設備投資は熱っぽい」ということは成り立つ; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの民間設備投資は美々しいということはない; int5 & fact18 -> int6: 「この道行は美々しかないがしかし教育システムだ」ということは成り立たない; [assump2] & int6 -> hypothesis;
$facts$ = fact1: 仮にあの民間設備投資が美々しいとすればこの道行は救命しないけど熱っぽい fact2: 「あの感染リスクは救命するということはない」ということは間違っていない fact3: 「この近作は救命するししかも深し」ということは偽である fact4: 教育システムが熱っぽくないとしたらそれは美々しい fact5: この合気道は救命しない fact6: もしもあの民間設備投資は熱っぽくないとすると「この道行は熱っぽくない一方で救命する」ということは成り立つということはない fact7: もしもこの道行が美々しいとしたらあの民間設備投資は教育システムでないけれどそれは熱っぽい fact8: あの民間設備投資は救命しない fact9: もしもこの道行は教育システムであるが熱っぽくないとすれば救命しない fact10: もし仮にこの道行は救命すれば「あの民間設備投資は教育システムでないけれど美々しい」ということは誤りだ fact11: 仮にこの道行は熱っぽいが救命するということはないならそれは美々しかない fact12: 仮に何かは急き込むがしかしそれが着替え為さらないとすれば合い難い fact13: その混合状態は救命しない fact14: この政策担当者は救命しない fact15: もしも美々しいものが救命しないならば熱っぽいということはない fact16: 「「そのフィルムは熱っぽくないけど立て難い」ということは成り立たない」ということは事実と異ならない fact17: あの民間設備投資は急き込む fact18: 仮に「あの民間設備投資は美々しかない」ということは正しいとすれば「この道行は美々しいということはないけれど教育システムである」ということは嘘だ ; $hypothesis$ = もし仮にあの民間設備投資は熱っぽいとすれば「この道行は美々しいということはないけどそれは教育システムである」ということは正しくない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの民間設備投資は美々しい; assump1 & fact8 -> int1: あの民間設備投資は美々しいけれど救命するということはない; fact15 -> int2: もし仮にあの民間設備投資が美々しいけれど救命しないとすればそれは熱っぽくない; int1 & int2 -> int3: あの民間設備投資は熱っぽくない; void -> assump2: 以下のように仮定する。「あの民間設備投資は熱っぽい」ということは成り立つ; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの民間設備投資は美々しいということはない; int5 & fact18 -> int6: 「この道行は美々しかないがしかし教育システムだ」ということは成り立たない; [assump2] & int6 -> hypothesis; __PROVED__
事実1: 仮にあの民間設備投資が美々しいとすればこの道行は救命しないけど熱っぽい
事実2: 「あの感染リスクは救命するということはない」ということは間違っていない
事実3: 「この近作は救命するししかも深し」ということは偽である
事実4: 教育システムが熱っぽくないとしたらそれは美々しい
事実5: この合気道は救命しない
事実6: もしもあの民間設備投資は熱っぽくないとすると「この道行は熱っぽくない一方で救命する」ということは成り立つということはない
事実7: もしもこの道行が美々しいとしたらあの民間設備投資は教育システムでないけれどそれは熱っぽい
事実8: あの民間設備投資は救命しない
事実9: もしもこの道行は教育システムであるが熱っぽくないとすれば救命しない
事実10: もし仮にこの道行は救命すれば「あの民間設備投資は教育システムでないけれど美々しい」ということは誤りだ
事実11: 仮にこの道行は熱っぽいが救命するということはないならそれは美々しかない
事実12: 仮に何かは急き込むがしかしそれが着替え為さらないとすれば合い難い
事実13: その混合状態は救命しない
事実14: この政策担当者は救命しない
事実15: もしも美々しいものが救命しないならば熱っぽいということはない
事実16: 「「そのフィルムは熱っぽくないけど立て難い」ということは成り立たない」ということは事実と異ならない
事実17: あの民間設備投資は急き込む
事実18: 仮に「あの民間設備投資は美々しかない」ということは正しいとすれば「この道行は美々しいということはないけれど教育システムである」ということは嘘だ

仮説: もし仮にあの民間設備投資は熱っぽいとすれば「この道行は美々しいということはないけどそれは教育システムである」ということは正しくない
1. 仮定1: 以下のように仮定する。あの民間設備投資は美々しい
2. 仮定1と事実8から、推論1: "あの民間設備投資は美々しいけれど救命するということはない"が導かれる
3. 事実15から、推論2: "もし仮にあの民間設備投資が美々しいけれど救命しないとすればそれは熱っぽくない"が導かれる
4. 推論1と推論2から、推論3: "あの民間設備投資は熱っぽくない"が導かれる
5. 仮定2: 以下のように仮定する。「あの民間設備投資は熱っぽい」ということは成り立つ
6. 推論3と仮定2から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "あの民間設備投資は美々しいということはない"が導かれる
8. 推論5と事実18から、推論6: "「この道行は美々しかないがしかし教育システムだ」ということは成り立たない"が導かれる
9. [仮定2]と推論6から、仮説が導かれる

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