あのルーバーは攻め始めない
fact1: 忠実忠実しかないしさらにし辛くない物は反応し易くない fact2: 仮に「とろくてまたアイデンティティ再編である」ものがあるとするとあの近代的合理性は地方自治制度である fact3: 仮にとろくないものが付けないとしたらアイデンティティ再編であるということはない fact4: あのルーバーは地方自治制度である fact5: あのルーバーはとろい fact6: 仮に「疑わしい」物があるとするとあの近代的合理性はとろくないしそれは付けない fact7: もし仮にあるものはとろくないならば「疑わしくないし加えてそれは地方自治制度だ」ということは成り立たない fact8: 「攻め始める」ものはある fact9: その流罪は細くて更に特別保証制度だ fact10: もし仮にあのルーバーがアイデンティティ再編だがしかしそれが疑わしくないとすれば攻め始めない fact11: ある物は分離すしかつ仲裁機関である fact12: あのルーバーはアイデンティティ再編でない fact13: あるものは通学出来る fact14: 「仲裁機関な」物はある fact15: 「労働基準監督署な」ものはある fact16: 「捕らえ込む」物はある fact17: あの近代的合理性はアイデンティティ再編である fact18: その流罪が長ったらしくないしさらに攻め始めない fact19: もし地方自治制度がアイデンティティ再編であるならばあの近代的合理性は疑わしい fact20: とある物は地方自治制度である fact21: 「あのルーバーは要する」ということは真実である fact22: もしも「地方自治制度であるし攻め始める」物があればその流罪は疑わしい
void -> assump1: 以下のように仮定する。あのルーバーは攻め始める; fact4 & assump1 -> int1: あのルーバーは地方自治制度だし攻め始める; int1 -> int2: あるものは地方自治制度であるし攻め始める; int2 & fact22 -> int3: その流罪は疑わしい; int3 -> int4: 「疑わしい」物はある; int4 & fact6 -> int5: あの近代的合理性はとろくないし付けない; fact3 -> int6: もし仮にあの近代的合理性がとろくないししかも付けないとすればそれはアイデンティティ再編でない; int5 & int6 -> int7: あの近代的合理性はアイデンティティ再編であるということはない; int7 & fact17 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
あのルーバーは攻め始める
fact23 -> int9: もし仮にその流罪はとろいということはないとしたら「それは疑わしくないがしかし地方自治制度だ」ということは正しくない;
$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: 以下のように仮定する。あのルーバーは攻め始める; fact4 & assump1 -> int1: あのルーバーは地方自治制度だし攻め始める; int1 -> int2: あるものは地方自治制度であるし攻め始める; int2 & fact22 -> int3: その流罪は疑わしい; int3 -> int4: 「疑わしい」物はある; int4 & fact6 -> int5: あの近代的合理性はとろくないし付けない; fact3 -> int6: もし仮にあの近代的合理性がとろくないししかも付けないとすればそれはアイデンティティ再編でない; int5 & int6 -> int7: あの近代的合理性はアイデンティティ再編であるということはない; int7 & fact17 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __PROVED__
事実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. 事実4と仮定1から、推論1: "あのルーバーは地方自治制度だし攻め始める"が導かれる
3. 推論1から、推論2: "あるものは地方自治制度であるし攻め始める"が導かれる
4. 推論2と事実22から、推論3: "その流罪は疑わしい"が導かれる
5. 推論3から、推論4: "「疑わしい」物はある"が導かれる
6. 推論4と事実6から、推論5: "あの近代的合理性はとろくないし付けない"が導かれる
7. 事実3から、推論6: "もし仮にあの近代的合理性がとろくないししかも付けないとすればそれはアイデンティティ再編でない"が導かれる
8. 推論5と推論6から、推論7: "あの近代的合理性はアイデンティティ再編であるということはない"が導かれる
9. 推論7と事実17から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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