この市街図は御知らない
fact1: もし仮にあの平均実施率が交流し合うとしたらこの選挙制度は御知る fact2: もしこの選挙制度が交流し合うとすると分析結果である fact3: もしも「その幹線は命ずる」ということは真実ならば「分析結果だ一方で落涙しない」ということは偽だ fact4: 「この選挙制度が分析結果だけど落涙しない」ということは誤っている fact5: この選挙制度は落涙しない fact6: 仮にこの選挙制度は御知るとすると「この市街図は御知る」ということは事実だ fact7: この市街図は命ずる fact8: あの相互影響は落涙しない fact9: もしもこの選挙制度が交流し合わないならばこの市街図は命ずるがそれは御知らない fact10: もしこの選挙制度が交流し合わないとしたらこの市街図は命ずる fact11: もしこの選挙制度が御知らないならこの市街図は分析結果である一方で交流し合うということはない fact12: 映像表現は命ずる
void -> assump1: 以下のように仮定する。この選挙制度は交流し合う; fact2 & assump1 -> int1: 「この選挙制度は分析結果だ」ということは真実だ; int1 & fact5 -> int2: この選挙制度は分析結果である一方でそれは落涙するということはない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> int4: この選挙制度は交流し合わない; int4 & fact9 -> int5: この市街図は命ずるがしかしそれは御知るということはない; int5 -> hypothesis;
この市街図は御知る
fact15 -> int6: 仮にその幹線が映像表現だとすればそれは命ずる;
$facts$ = fact1: もし仮にあの平均実施率が交流し合うとしたらこの選挙制度は御知る fact2: もしこの選挙制度が交流し合うとすると分析結果である fact3: もしも「その幹線は命ずる」ということは真実ならば「分析結果だ一方で落涙しない」ということは偽だ fact4: 「この選挙制度が分析結果だけど落涙しない」ということは誤っている fact5: この選挙制度は落涙しない fact6: 仮にこの選挙制度は御知るとすると「この市街図は御知る」ということは事実だ fact7: この市街図は命ずる fact8: あの相互影響は落涙しない fact9: もしもこの選挙制度が交流し合わないならばこの市街図は命ずるがそれは御知らない fact10: もしこの選挙制度が交流し合わないとしたらこの市街図は命ずる fact11: もしこの選挙制度が御知らないならこの市街図は分析結果である一方で交流し合うということはない fact12: 映像表現は命ずる ; $hypothesis$ = この市街図は御知らない ; $proof$ = 
void -> assump1: 以下のように仮定する。この選挙制度は交流し合う; fact2 & assump1 -> int1: 「この選挙制度は分析結果だ」ということは真実だ; int1 & fact5 -> int2: この選挙制度は分析結果である一方でそれは落涙するということはない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> int4: この選挙制度は交流し合わない; int4 & fact9 -> int5: この市街図は命ずるがしかしそれは御知るということはない; int5 -> hypothesis; __PROVED__
事実1: もし仮にあの平均実施率が交流し合うとしたらこの選挙制度は御知る
事実2: もしこの選挙制度が交流し合うとすると分析結果である
事実3: もしも「その幹線は命ずる」ということは真実ならば「分析結果だ一方で落涙しない」ということは偽だ
事実4: 「この選挙制度が分析結果だけど落涙しない」ということは誤っている
事実5: この選挙制度は落涙しない
事実6: 仮にこの選挙制度は御知るとすると「この市街図は御知る」ということは事実だ
事実7: この市街図は命ずる
事実8: あの相互影響は落涙しない
事実9: もしもこの選挙制度が交流し合わないならばこの市街図は命ずるがそれは御知らない
事実10: もしこの選挙制度が交流し合わないとしたらこの市街図は命ずる
事実11: もしこの選挙制度が御知らないならこの市街図は分析結果である一方で交流し合うということはない
事実12: 映像表現は命ずる

仮説: この市街図は御知らない
1. 仮定1: 以下のように仮定する。この選挙制度は交流し合う
2. 事実2と仮定1から、推論1: "「この選挙制度は分析結果だ」ということは真実だ"が導かれる
3. 推論1と事実5から、推論2: "この選挙制度は分析結果である一方でそれは落涙するということはない"が導かれる
4. 推論2と事実4から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この選挙制度は交流し合わない"が導かれる
6. 推論4と事実9から、推論5: "この市街図は命ずるがしかしそれは御知るということはない"が導かれる
7. 推論5から、仮説が導かれる

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