「その財政再建は可笑しいが弾けない」ということは間違いだ
fact1: 使用し難いということはない物は心優しいものであり更に地中深い fact2: もし仮にこのアマンタジンが象徴しないとすると御集まり頂かないし面目無いということはない fact3: 仮にこのアマンタジンが民族団体だとすればあの賊軍は民族団体でないけれど心優しい fact4: なにかは使用し難いということはない fact5: もしもなんらかの物が心優しくないならば先輩格でなくておまけに民族団体である fact6: もしもあの有益的記載事項が先輩格であるならこのアマンタジンは民族団体だ fact7: 仮にその財政再建が心優しいならばその部は心優しくない fact8: この閑話休題は弾けない fact9: この閑話休題は民族団体でない fact10: もしあの支配者は地中深くないとすれば「この閑話休題は刊行する一方でそれは地中深くない」ということは成り立たない fact11: もし仮にその賊軍が民族団体でないけど心優しいなら「あの支配者は地中深くない」ということは成り立つ fact12: 「その財政再建は可笑しいがしかし弾けない」ということは誤りならあの有益的記載事項は先輩格だ fact13: もし何かは地中深くないとすると「先輩格であるし加えて心優しい」ということは成り立たない fact14: もしも「使用し難いということはない」ものがあるならこの閑話休題は刊行する一方で地中深くない fact15: もしこのアマンタジンは心理主義でないけど数字上であるとしたらそれは象徴するということはない fact16: その財政再建は先輩格でない fact17: このアマンタジンが弱くないとすれば心理主義だということはないけれど数字上だ fact18: もしもあの有益的記載事項が刊行しないとしたらその財政再建は使用し難くない fact19: このアマンタジンは弱くない fact20: もしあの有益的記載事項は民族団体でないとすれば「その財政再建は可笑しいけど弾けない」ということは嘘だ fact21: もし「このアマンタジンは刊行するけれどそれは地中深いということはない」ということは誤っているならあの有益的記載事項は地中深くない fact22: 「「その財政再建は弾けるがしかしそれは先輩格でない」ということは嘘でない」ということは成り立つということはないならばあの有益的記載事項は民族団体だ fact23: もし仮にこの閑話休題が民族団体であるならばあの賊軍は民族団体でない
void -> assump1: 以下のように仮定する。「その財政再建は可笑しいがしかし弾けない」ということは成り立たない; fact12 & assump1 -> int1: あの有益的記載事項は先輩格だ; int1 & fact6 -> int2: このアマンタジンは民族団体だ; int2 & fact3 -> int3: その賊軍は民族団体でないけど心優しい; int3 & fact11 -> int4: あの支配者は地中深くない; int4 & fact10 -> int5: 「この閑話休題は刊行するがしかしそれは地中深いということはない」ということは間違いである; fact4 & fact14 -> int6: この閑話休題は刊行するけど地中深くない; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
その部は先輩格でない
fact27 -> int8: もしその部が心優しくないとしたらそれは先輩格でないけど民族団体だ; fact29 -> int9: もしもその財政再建は使用し難くないならば心優しくて地中深い; fact30 & fact26 -> int10: このアマンタジンは心理主義でないけれどそれは数字上である; fact25 & int10 -> int11: このアマンタジンは象徴しない; fact24 & int11 -> int12: このアマンタジンが御集まり頂かないし面目無いということはない; int12 -> int13: 何らかの物は御集まり頂かないししかも面目無くない;
$facts$ = fact1: 使用し難いということはない物は心優しいものであり更に地中深い fact2: もし仮にこのアマンタジンが象徴しないとすると御集まり頂かないし面目無いということはない fact3: 仮にこのアマンタジンが民族団体だとすればあの賊軍は民族団体でないけれど心優しい fact4: なにかは使用し難いということはない fact5: もしもなんらかの物が心優しくないならば先輩格でなくておまけに民族団体である fact6: もしもあの有益的記載事項が先輩格であるならこのアマンタジンは民族団体だ fact7: 仮にその財政再建が心優しいならばその部は心優しくない fact8: この閑話休題は弾けない fact9: この閑話休題は民族団体でない fact10: もしあの支配者は地中深くないとすれば「この閑話休題は刊行する一方でそれは地中深くない」ということは成り立たない fact11: もし仮にその賊軍が民族団体でないけど心優しいなら「あの支配者は地中深くない」ということは成り立つ fact12: 「その財政再建は可笑しいがしかし弾けない」ということは誤りならあの有益的記載事項は先輩格だ fact13: もし何かは地中深くないとすると「先輩格であるし加えて心優しい」ということは成り立たない fact14: もしも「使用し難いということはない」ものがあるならこの閑話休題は刊行する一方で地中深くない fact15: もしこのアマンタジンは心理主義でないけど数字上であるとしたらそれは象徴するということはない fact16: その財政再建は先輩格でない fact17: このアマンタジンが弱くないとすれば心理主義だということはないけれど数字上だ fact18: もしもあの有益的記載事項が刊行しないとしたらその財政再建は使用し難くない fact19: このアマンタジンは弱くない fact20: もしあの有益的記載事項は民族団体でないとすれば「その財政再建は可笑しいけど弾けない」ということは嘘だ fact21: もし「このアマンタジンは刊行するけれどそれは地中深いということはない」ということは誤っているならあの有益的記載事項は地中深くない fact22: 「「その財政再建は弾けるがしかしそれは先輩格でない」ということは嘘でない」ということは成り立つということはないならばあの有益的記載事項は民族団体だ fact23: もし仮にこの閑話休題が民族団体であるならばあの賊軍は民族団体でない ; $hypothesis$ = 「その財政再建は可笑しいが弾けない」ということは間違いだ ; $proof$ = 
void -> assump1: 以下のように仮定する。「その財政再建は可笑しいがしかし弾けない」ということは成り立たない; fact12 & assump1 -> int1: あの有益的記載事項は先輩格だ; int1 & fact6 -> int2: このアマンタジンは民族団体だ; int2 & fact3 -> int3: その賊軍は民族団体でないけど心優しい; int3 & fact11 -> int4: あの支配者は地中深くない; int4 & fact10 -> int5: 「この閑話休題は刊行するがしかしそれは地中深いということはない」ということは間違いである; fact4 & fact14 -> int6: この閑話休題は刊行するけど地中深くない; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: 使用し難いということはない物は心優しいものであり更に地中深い
事実2: もし仮にこのアマンタジンが象徴しないとすると御集まり頂かないし面目無いということはない
事実3: 仮にこのアマンタジンが民族団体だとすればあの賊軍は民族団体でないけれど心優しい
事実4: なにかは使用し難いということはない
事実5: もしもなんらかの物が心優しくないならば先輩格でなくておまけに民族団体である
事実6: もしもあの有益的記載事項が先輩格であるならこのアマンタジンは民族団体だ
事実7: 仮にその財政再建が心優しいならばその部は心優しくない
事実8: この閑話休題は弾けない
事実9: この閑話休題は民族団体でない
事実10: もしあの支配者は地中深くないとすれば「この閑話休題は刊行する一方でそれは地中深くない」ということは成り立たない
事実11: もし仮にその賊軍が民族団体でないけど心優しいなら「あの支配者は地中深くない」ということは成り立つ
事実12: 「その財政再建は可笑しいがしかし弾けない」ということは誤りならあの有益的記載事項は先輩格だ
事実13: もし何かは地中深くないとすると「先輩格であるし加えて心優しい」ということは成り立たない
事実14: もしも「使用し難いということはない」ものがあるならこの閑話休題は刊行する一方で地中深くない
事実15: もしこのアマンタジンは心理主義でないけど数字上であるとしたらそれは象徴するということはない
事実16: その財政再建は先輩格でない
事実17: このアマンタジンが弱くないとすれば心理主義だということはないけれど数字上だ
事実18: もしもあの有益的記載事項が刊行しないとしたらその財政再建は使用し難くない
事実19: このアマンタジンは弱くない
事実20: もしあの有益的記載事項は民族団体でないとすれば「その財政再建は可笑しいけど弾けない」ということは嘘だ
事実21: もし「このアマンタジンは刊行するけれどそれは地中深いということはない」ということは誤っているならあの有益的記載事項は地中深くない
事実22: 「「その財政再建は弾けるがしかしそれは先輩格でない」ということは嘘でない」ということは成り立つということはないならばあの有益的記載事項は民族団体だ
事実23: もし仮にこの閑話休題が民族団体であるならばあの賊軍は民族団体でない

仮説: 「その財政再建は可笑しいが弾けない」ということは間違いだ
1. 仮定1: 以下のように仮定する。「その財政再建は可笑しいがしかし弾けない」ということは成り立たない
2. 事実12と仮定1から、推論1: "あの有益的記載事項は先輩格だ"が導かれる
3. 推論1と事実6から、推論2: "このアマンタジンは民族団体だ"が導かれる
4. 推論2と事実3から、推論3: "その賊軍は民族団体でないけど心優しい"が導かれる
5. 推論3と事実11から、推論4: "あの支配者は地中深くない"が導かれる
6. 推論4と事実10から、推論5: "「この閑話休題は刊行するがしかしそれは地中深いということはない」ということは間違いである"が導かれる
7. 事実4と事実14から、推論6: "この閑話休題は刊行するけど地中深くない"が導かれる
8. 推論5と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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