その江戸期は密集市街地である
fact1: もしこのＬＤ開発が太刀風であるならその江戸期は密集市街地だ fact2: あの一年余りが初年度報酬率法でないならば太刀風でなくてそれは苛々し易い fact3: あの一年余りは苛々し易い fact4: 仮にあの遊園地が戦争マラリアでないとすればこの基調講演はとことんであるかまたは東洋諸国でない fact5: あの一年余りが苛々し易くないし加えてあざとくないとするとこの八千代市教育委員会は苛々し易い fact6: もし仮にあるものが賢しいかもしくはそれは初年度報酬率法でないとしたら初年度報酬率法であるということはない fact7: もし仮にあの一年余りがあざといということはないとしたら安堵し難いし零電位でない fact8: もしこのＬＤ開発が初年度報酬率法でないとすればあの一年余りは初年度報酬率法でない fact9: とある物があざとくないとすれば密集市街地でない fact10: 仮にあの一年余りがあざといとするとこのＬＤ開発は太刀風である fact11: もし仮にあの一年余りは苛々し易いなら「安堵し難いけど零電位でない」ということは成り立たない fact12: 仮に何らかの物はとことんであるかもしくは東洋諸国でないかもしくは両方ともだとするととことんである fact13: もしその江戸期が賢しいならこのＬＤ開発は初年度報酬率法でない fact14: もしもある物は初年度報酬率法でないならば太刀風であるということはないが密集市街地である fact15: もし仮にその江戸期は東洋諸国でないとしたらそれは賢しくてとことんである fact16: もしこの基調講演がとことんであるとしたらこのＬＤ開発は賢しいかあるいは初年度報酬率法でないかまたは両方ともだ fact17: もし仮にこのＬＤ開発が太刀風でないけれどそれが密集市街地であるとしたらあの一年余りは太刀風でない fact18: もしもなにかは太刀風でないとしたらそれは苛々し易くないしあざとくない
void -> assump1: 以下のように仮定する。あの一年余りはあざといということはない; fact7 & assump1 -> int1: あの一年余りは安堵し難いけどそれは零電位でない; fact3 & fact11 -> int2: 「あの一年余りは安堵し難い一方で零電位でない」ということは成り立たない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの一年余りはあざとい; int4 & fact10 -> int5: このＬＤ開発は太刀風である; int5 & fact1 -> hypothesis;
その江戸期は密集市街地であるということはない
fact22 -> int6: その江戸期があざとくないならば密集市街地でない; fact19 -> int7: 仮にこのＬＤ開発は賢しいかまたは初年度報酬率法でないならば初年度報酬率法でない; fact25 -> int8: この基調講演がとことんであるかまたは東洋諸国でないかまたはどちらもであるならとことんだ;
$facts$ = fact1: もしこのＬＤ開発が太刀風であるならその江戸期は密集市街地だ fact2: あの一年余りが初年度報酬率法でないならば太刀風でなくてそれは苛々し易い fact3: あの一年余りは苛々し易い fact4: 仮にあの遊園地が戦争マラリアでないとすればこの基調講演はとことんであるかまたは東洋諸国でない fact5: あの一年余りが苛々し易くないし加えてあざとくないとするとこの八千代市教育委員会は苛々し易い fact6: もし仮にあるものが賢しいかもしくはそれは初年度報酬率法でないとしたら初年度報酬率法であるということはない fact7: もし仮にあの一年余りがあざといということはないとしたら安堵し難いし零電位でない fact8: もしこのＬＤ開発が初年度報酬率法でないとすればあの一年余りは初年度報酬率法でない fact9: とある物があざとくないとすれば密集市街地でない fact10: 仮にあの一年余りがあざといとするとこのＬＤ開発は太刀風である fact11: もし仮にあの一年余りは苛々し易いなら「安堵し難いけど零電位でない」ということは成り立たない fact12: 仮に何らかの物はとことんであるかもしくは東洋諸国でないかもしくは両方ともだとするととことんである fact13: もしその江戸期が賢しいならこのＬＤ開発は初年度報酬率法でない fact14: もしもある物は初年度報酬率法でないならば太刀風であるということはないが密集市街地である fact15: もし仮にその江戸期は東洋諸国でないとしたらそれは賢しくてとことんである fact16: もしこの基調講演がとことんであるとしたらこのＬＤ開発は賢しいかあるいは初年度報酬率法でないかまたは両方ともだ fact17: もし仮にこのＬＤ開発が太刀風でないけれどそれが密集市街地であるとしたらあの一年余りは太刀風でない fact18: もしもなにかは太刀風でないとしたらそれは苛々し易くないしあざとくない ; $hypothesis$ = その江戸期は密集市街地である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの一年余りはあざといということはない; fact7 & assump1 -> int1: あの一年余りは安堵し難いけどそれは零電位でない; fact3 & fact11 -> int2: 「あの一年余りは安堵し難い一方で零電位でない」ということは成り立たない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの一年余りはあざとい; int4 & fact10 -> int5: このＬＤ開発は太刀風である; int5 & fact1 -> hypothesis; __PROVED__
事実1: もしこのＬＤ開発が太刀風であるならその江戸期は密集市街地だ
事実2: あの一年余りが初年度報酬率法でないならば太刀風でなくてそれは苛々し易い
事実3: あの一年余りは苛々し易い
事実4: 仮にあの遊園地が戦争マラリアでないとすればこの基調講演はとことんであるかまたは東洋諸国でない
事実5: あの一年余りが苛々し易くないし加えてあざとくないとするとこの八千代市教育委員会は苛々し易い
事実6: もし仮にあるものが賢しいかもしくはそれは初年度報酬率法でないとしたら初年度報酬率法であるということはない
事実7: もし仮にあの一年余りがあざといということはないとしたら安堵し難いし零電位でない
事実8: もしこのＬＤ開発が初年度報酬率法でないとすればあの一年余りは初年度報酬率法でない
事実9: とある物があざとくないとすれば密集市街地でない
事実10: 仮にあの一年余りがあざといとするとこのＬＤ開発は太刀風である
事実11: もし仮にあの一年余りは苛々し易いなら「安堵し難いけど零電位でない」ということは成り立たない
事実12: 仮に何らかの物はとことんであるかもしくは東洋諸国でないかもしくは両方ともだとするととことんである
事実13: もしその江戸期が賢しいならこのＬＤ開発は初年度報酬率法でない
事実14: もしもある物は初年度報酬率法でないならば太刀風であるということはないが密集市街地である
事実15: もし仮にその江戸期は東洋諸国でないとしたらそれは賢しくてとことんである
事実16: もしこの基調講演がとことんであるとしたらこのＬＤ開発は賢しいかあるいは初年度報酬率法でないかまたは両方ともだ
事実17: もし仮にこのＬＤ開発が太刀風でないけれどそれが密集市街地であるとしたらあの一年余りは太刀風でない
事実18: もしもなにかは太刀風でないとしたらそれは苛々し易くないしあざとくない

仮説: その江戸期は密集市街地である
1. 仮定1: 以下のように仮定する。あの一年余りはあざといということはない
2. 事実7と仮定1から、推論1: "あの一年余りは安堵し難いけどそれは零電位でない"が導かれる
3. 事実3と事実11から、推論2: "「あの一年余りは安堵し難い一方で零電位でない」ということは成り立たない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの一年余りはあざとい"が導かれる
6. 推論4と事実10から、推論5: "このＬＤ開発は太刀風である"が導かれる
7. 推論5と事実1から、仮説が導かれる

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