「もしもこの人民大会議は証明出来れば「「このインフレ期は糾合しないけれど煩わしい」ということは真実である」ということは事実と異なる」ということは成り立たない
fact1: 「このインフレ期は糾合するし更に煩わしい」ということは間違っている fact2: 仮にこの人民大会議が証明出来るならばあのインフレ期は糾合しない一方で煩わしい fact3: もしもこの人民大会議が煩わしいとするとこのインフレ期は証明出来る fact4: 仮にあの多極は糾合するとすると「このインフレ期は糾合しない一方でそれは煩わしい」ということは嘘である fact5: もしもこの人民大会議は糾合するなら「このインフレ期は煩わしいししかも証明出来る」ということは本当でない fact6: もしこのインフレ期は糾合するなら「この人民大会議は煩わしくて証明出来る」ということは間違っている fact7: この人民大会議は証明出来るとすれば「このインフレ期は糾合するし煩わしい」ということは成り立たない fact8: もしもこの人民大会議は証明出来るなら「あの多極は糾合する」ということは真実だ fact9: もしあの多極は証明出来るとしたら「この人民大会議は証明出来るし糾合する」ということは成り立たない fact10: もしもこのインフレ期が糾合するとするとあの多極は糾合しないけど煩わしい fact11: 「この人民大会議は糾合するしそれに証明出来る」ということは間違いである fact12: もしもこのインフレ期は糾合するとすると「あの多極は糾合するし更に煩わしい」ということは偽である fact13: もし「あの多極は糾合する」ということは事実であるならばこの人民大会議は糾合しないが証明出来る
void -> assump1: 以下のように仮定する。この人民大会議は証明出来る; fact8 & assump1 -> int1: あの多極は糾合する; int1 & fact4 -> int2: 「このインフレ期は糾合しないけれど煩わしい」ということは間違っている; [assump1] & int2 -> hypothesis;
$facts$ = fact1: 「このインフレ期は糾合するし更に煩わしい」ということは間違っている fact2: 仮にこの人民大会議が証明出来るならばあのインフレ期は糾合しない一方で煩わしい fact3: もしもこの人民大会議が煩わしいとするとこのインフレ期は証明出来る fact4: 仮にあの多極は糾合するとすると「このインフレ期は糾合しない一方でそれは煩わしい」ということは嘘である fact5: もしもこの人民大会議は糾合するなら「このインフレ期は煩わしいししかも証明出来る」ということは本当でない fact6: もしこのインフレ期は糾合するなら「この人民大会議は煩わしくて証明出来る」ということは間違っている fact7: この人民大会議は証明出来るとすれば「このインフレ期は糾合するし煩わしい」ということは成り立たない fact8: もしもこの人民大会議は証明出来るなら「あの多極は糾合する」ということは真実だ fact9: もしあの多極は証明出来るとしたら「この人民大会議は証明出来るし糾合する」ということは成り立たない fact10: もしもこのインフレ期が糾合するとするとあの多極は糾合しないけど煩わしい fact11: 「この人民大会議は糾合するしそれに証明出来る」ということは間違いである fact12: もしもこのインフレ期は糾合するとすると「あの多極は糾合するし更に煩わしい」ということは偽である fact13: もし「あの多極は糾合する」ということは事実であるならばこの人民大会議は糾合しないが証明出来る ; $hypothesis$ = 「もしもこの人民大会議は証明出来れば「「このインフレ期は糾合しないけれど煩わしい」ということは真実である」ということは事実と異なる」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。この人民大会議は証明出来る; fact8 & assump1 -> int1: あの多極は糾合する; int1 & fact4 -> int2: 「このインフレ期は糾合しないけれど煩わしい」ということは間違っている; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: 「このインフレ期は糾合するし更に煩わしい」ということは間違っている
事実2: 仮にこの人民大会議が証明出来るならばあのインフレ期は糾合しない一方で煩わしい
事実3: もしもこの人民大会議が煩わしいとするとこのインフレ期は証明出来る
事実4: 仮にあの多極は糾合するとすると「このインフレ期は糾合しない一方でそれは煩わしい」ということは嘘である
事実5: もしもこの人民大会議は糾合するなら「このインフレ期は煩わしいししかも証明出来る」ということは本当でない
事実6: もしこのインフレ期は糾合するなら「この人民大会議は煩わしくて証明出来る」ということは間違っている
事実7: この人民大会議は証明出来るとすれば「このインフレ期は糾合するし煩わしい」ということは成り立たない
事実8: もしもこの人民大会議は証明出来るなら「あの多極は糾合する」ということは真実だ
事実9: もしあの多極は証明出来るとしたら「この人民大会議は証明出来るし糾合する」ということは成り立たない
事実10: もしもこのインフレ期が糾合するとするとあの多極は糾合しないけど煩わしい
事実11: 「この人民大会議は糾合するしそれに証明出来る」ということは間違いである
事実12: もしもこのインフレ期は糾合するとすると「あの多極は糾合するし更に煩わしい」ということは偽である
事実13: もし「あの多極は糾合する」ということは事実であるならばこの人民大会議は糾合しないが証明出来る

仮説: 「もしもこの人民大会議は証明出来れば「「このインフレ期は糾合しないけれど煩わしい」ということは真実である」ということは事実と異なる」ということは成り立たない
1. 仮定1: 以下のように仮定する。この人民大会議は証明出来る
2. 事実8と仮定1から、推論1: "あの多極は糾合する"が導かれる
3. 推論1と事実4から、推論2: "「このインフレ期は糾合しないけれど煩わしい」ということは間違っている"が導かれる
4. [仮定1]と推論2から、仮説が否定される

よって、仮説が否定されました。