その底抜けは民主的政府だ
fact1: もし「とある物は足掻くしそれは投げ捨てる」ということは間違いだとすると民主的政府でない fact2: 仮に「カプットで意味深い」ものがあるとしたらその底抜けは物寂しくない fact3: もし「このテキストボックスは意味深くないしその上それは物寂しくない」ということは事実と異なるならばあの底抜けはカプットでない fact4: このテキストボックスは投げ捨てる fact5: 「この塩基損傷は足掻く」ということは成り立つ fact6: 「四十肩である」物はある fact7: その底抜けは物寂しくないなら「投げ捨てるしかつ太い」ということは成り立たない fact8: もしその底抜けは投げ捨てないならば「民主的政府だということはない」ということは確かだ fact9: 仮にこのテキストボックスが足掻けば賀す fact10: もし何らかの物は投げ捨てるなら「それが意味深いということはないしさらに物寂しくない」ということは間違いである fact11: その底抜けは足掻く fact12: 「このテキストボックスは足掻く」ということは成り立つ fact13: 仮に「とある物は投げ捨てるし加えて太い」ということは誤っているとしたら民主的政府であるということはない fact14: もしあの放射線療法が通り易くないとするとこの債権表は溶け難いしさらに授与する fact15: その底抜けはカプットでないとしたら「このテキストボックスは木目細かくてコリーである」ということは誤っていない fact16: あの放射線療法は通り易くない fact17: このテキストボックスは意味深い fact18: 仮にとあるものはカプットでないならば「民主的政府だということはないが賀す」ということは確かでない fact19: 仮に何らかの物が賀すないとしたらそれはカプットでない fact20: このテキストボックスはカプットでないとしたらそれは賀すない fact21: なにがしかの物が賀すということはないけど意味深いとしたらカプットでない fact22: 仮に「この債権表は溶け難い」ということは成り立つならそれは足掻くということはない
void -> assump1: 以下のように仮定する。このテキストボックスはカプットであるということはない; fact20 & assump1 -> int1: このテキストボックスは賀すない; fact9 & fact12 -> int2: このテキストボックスは賀す; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: このテキストボックスはカプットである; int4 & fact17 -> int5: このテキストボックスがカプットだしかつ意味深い; int5 -> int6: なにかはカプットであるし意味深い; int6 & fact2 -> int7: その底抜けは物寂しいということはない; int7 & fact7 -> int8: 「「その底抜けは投げ捨てるし太い」ということは成り立つ」ということは成り立たない; fact13 -> int9: もし「その底抜けは投げ捨てるし加えて太い」ということは間違いであるとしたら民主的政府でない; int8 & int9 -> hypothesis;
その底抜けは民主的政府だ
fact26 -> int10: もしもその底抜けはカプットでないならば「「それは民主的政府でないしさらに賀す」ということは真実だ」ということは成り立たない; fact23 -> int11: もし仮にこのテキストボックスは投げ捨てるなら「それは意味深くないしかつそれは物寂しくない」ということは事実でない; fact25 & fact28 -> int12: この債権表は溶け難いしさらに授与する; int12 -> int13: 「この債権表は溶け難い」ということは成り立つ; fact24 & int13 -> int14: この債権表は足掻かない; int14 -> int15: ある物は足掻かない;
$facts$ = fact1: もし「とある物は足掻くしそれは投げ捨てる」ということは間違いだとすると民主的政府でない fact2: 仮に「カプットで意味深い」ものがあるとしたらその底抜けは物寂しくない fact3: もし「このテキストボックスは意味深くないしその上それは物寂しくない」ということは事実と異なるならばあの底抜けはカプットでない fact4: このテキストボックスは投げ捨てる fact5: 「この塩基損傷は足掻く」ということは成り立つ fact6: 「四十肩である」物はある fact7: その底抜けは物寂しくないなら「投げ捨てるしかつ太い」ということは成り立たない fact8: もしその底抜けは投げ捨てないならば「民主的政府だということはない」ということは確かだ fact9: 仮にこのテキストボックスが足掻けば賀す fact10: もし何らかの物は投げ捨てるなら「それが意味深いということはないしさらに物寂しくない」ということは間違いである fact11: その底抜けは足掻く fact12: 「このテキストボックスは足掻く」ということは成り立つ fact13: 仮に「とある物は投げ捨てるし加えて太い」ということは誤っているとしたら民主的政府であるということはない fact14: もしあの放射線療法が通り易くないとするとこの債権表は溶け難いしさらに授与する fact15: その底抜けはカプットでないとしたら「このテキストボックスは木目細かくてコリーである」ということは誤っていない fact16: あの放射線療法は通り易くない fact17: このテキストボックスは意味深い fact18: 仮にとあるものはカプットでないならば「民主的政府だということはないが賀す」ということは確かでない fact19: 仮に何らかの物が賀すないとしたらそれはカプットでない fact20: このテキストボックスはカプットでないとしたらそれは賀すない fact21: なにがしかの物が賀すということはないけど意味深いとしたらカプットでない fact22: 仮に「この債権表は溶け難い」ということは成り立つならそれは足掻くということはない ; $hypothesis$ = その底抜けは民主的政府だ ; $proof$ = 
void -> assump1: 以下のように仮定する。このテキストボックスはカプットであるということはない; fact20 & assump1 -> int1: このテキストボックスは賀すない; fact9 & fact12 -> int2: このテキストボックスは賀す; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: このテキストボックスはカプットである; int4 & fact17 -> int5: このテキストボックスがカプットだしかつ意味深い; int5 -> int6: なにかはカプットであるし意味深い; int6 & fact2 -> int7: その底抜けは物寂しいということはない; int7 & fact7 -> int8: 「「その底抜けは投げ捨てるし太い」ということは成り立つ」ということは成り立たない; fact13 -> int9: もし「その底抜けは投げ捨てるし加えて太い」ということは間違いであるとしたら民主的政府でない; int8 & int9 -> hypothesis; __DISPROVED__
事実1: もし「とある物は足掻くしそれは投げ捨てる」ということは間違いだとすると民主的政府でない
事実2: 仮に「カプットで意味深い」ものがあるとしたらその底抜けは物寂しくない
事実3: もし「このテキストボックスは意味深くないしその上それは物寂しくない」ということは事実と異なるならばあの底抜けはカプットでない
事実4: このテキストボックスは投げ捨てる
事実5: 「この塩基損傷は足掻く」ということは成り立つ
事実6: 「四十肩である」物はある
事実7: その底抜けは物寂しくないなら「投げ捨てるしかつ太い」ということは成り立たない
事実8: もしその底抜けは投げ捨てないならば「民主的政府だということはない」ということは確かだ
事実9: 仮にこのテキストボックスが足掻けば賀す
事実10: もし何らかの物は投げ捨てるなら「それが意味深いということはないしさらに物寂しくない」ということは間違いである
事実11: その底抜けは足掻く
事実12: 「このテキストボックスは足掻く」ということは成り立つ
事実13: 仮に「とある物は投げ捨てるし加えて太い」ということは誤っているとしたら民主的政府であるということはない
事実14: もしあの放射線療法が通り易くないとするとこの債権表は溶け難いしさらに授与する
事実15: その底抜けはカプットでないとしたら「このテキストボックスは木目細かくてコリーである」ということは誤っていない
事実16: あの放射線療法は通り易くない
事実17: このテキストボックスは意味深い
事実18: 仮にとあるものはカプットでないならば「民主的政府だということはないが賀す」ということは確かでない
事実19: 仮に何らかの物が賀すないとしたらそれはカプットでない
事実20: このテキストボックスはカプットでないとしたらそれは賀すない
事実21: なにがしかの物が賀すということはないけど意味深いとしたらカプットでない
事実22: 仮に「この債権表は溶け難い」ということは成り立つならそれは足掻くということはない

仮説: その底抜けは民主的政府だ
1. 仮定1: 以下のように仮定する。このテキストボックスはカプットであるということはない
2. 事実20と仮定1から、推論1: "このテキストボックスは賀すない"が導かれる
3. 事実9と事実12から、推論2: "このテキストボックスは賀す"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "このテキストボックスはカプットである"が導かれる
6. 推論4と事実17から、推論5: "このテキストボックスがカプットだしかつ意味深い"が導かれる
7. 推論5から、推論6: "なにかはカプットであるし意味深い"が導かれる
8. 推論6と事実2から、推論7: "その底抜けは物寂しいということはない"が導かれる
9. 推論7と事実7から、推論8: "「「その底抜けは投げ捨てるし太い」ということは成り立つ」ということは成り立たない"が導かれる
10. 事実13から、推論9: "もし「その底抜けは投げ捨てるし加えて太い」ということは間違いであるとしたら民主的政府でない"が導かれる
11. 推論8と推論9から、仮説が否定される

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