あの記名投票は事業主利益でない
fact1: なにがしかの物は市内電話料金でない fact2: 仮にあの記名投票が民主共和国政府だとしたら南東部でない fact3: あのＮＳＰは記者会見場でない fact4: あのＮＳＰが十七年前でないがしかし新光三越であるとするとこの反乱軍は新光三越でない fact5: あの記名投票は喜ばしかない fact6: あのＮＳＰが南東部でないとすればあの反乱軍は民主共和国政府で合える fact7: もしあのＮＳＰが十七年前でないしさらに新光三越であるということはないとするとこの反乱軍は新光三越だということはない fact8: もし「十七年前でないしその上喜ばしいない」物があるとしたらこの怪談話は事業主利益だ fact9: 記者会見場は事業主利益でない fact10: なにがしかのものは市内電話料金である fact11: 「南東部でない」ものはある fact12: もしもこの反乱軍が新光三越でないとするとこの怪談話は喜ばしかない fact13: もしも「市内電話料金だということはない」ものはあれば「あの記名投票は民主共和国政府であるということはなくて合えるということはない」ということは誤りである fact14: もしもこの適が新光三越でないならば南東部だということはないしおまけにそれは記者会見場でない fact15: なにかは南東部でないが記者会見場だ fact16: あのＮＳＰは十七年前でなくて新光三越でない fact17: あのＮＳＰは新光三越でない fact18: 仮に「あのＮＳＰは十七年前である」ということは正しいとすれば記者会見場でない fact19: 仮に「あるものは民主共和国政府でなくておまけにそれは合えない」ということは嘘であるとすると南東部であるということはない fact20: 民主共和国政府は南東部でない fact21: もし「記者会見場でなくて更に十七年前でない」ものがあるとしたらあの記名投票は新光三越だ fact22: もし仮に何かは市内電話料金でないならば「あの記名投票が民主共和国政府だけどそれは合えない」ということは成り立たない fact23: 「「記者会見場でない」ということは成り立つ」ものはある fact24: 仮にこの反乱軍が民主共和国政府であるならこの怪談話は市内電話料金だ fact25: 仮にこの怪談話が市内電話料金だとするとあの記名投票は事業主利益だ fact26: もし仮に「南東部でなくてしかも記者会見場でない」ものはあるとしたら「この怪談話は喜ばしい」ということは正しい
fact1 & fact13 -> int1: 「あの記名投票は民主共和国政府であるということはなくて加えて合えるということはない」ということは誤っている; fact19 -> int2: もし仮に「あの記名投票は民主共和国政府でないしそれは合えるということはない」ということは間違いであるとしたらそれは南東部でない; int1 & int2 -> int3: あの記名投票は南東部でない; void -> assump1: 以下のように仮定する。あの記名投票は記者会見場でない; int3 & assump1 -> int4: あの記名投票は南東部でなくてそれは記者会見場でない; int4 -> int5: あるものは南東部でないし記者会見場でない; int5 & fact26 -> int6: この怪談話は喜ばしい; fact16 & fact7 -> int7: この反乱軍は新光三越でない; fact12 & int7 -> int8: この怪談話は喜ばしかない; int6 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: あの記名投票は記者会見場である; fact9 -> int11: あの記名投票が記者会見場だとすればそれは事業主利益でない; int10 & int11 -> hypothesis;
「あの記名投票は事業主利益だ」ということは事実である
$facts$ = fact1: なにがしかの物は市内電話料金でない fact2: 仮にあの記名投票が民主共和国政府だとしたら南東部でない fact3: あのＮＳＰは記者会見場でない fact4: あのＮＳＰが十七年前でないがしかし新光三越であるとするとこの反乱軍は新光三越でない fact5: あの記名投票は喜ばしかない fact6: あのＮＳＰが南東部でないとすればあの反乱軍は民主共和国政府で合える fact7: もしあのＮＳＰが十七年前でないしさらに新光三越であるということはないとするとこの反乱軍は新光三越だということはない fact8: もし「十七年前でないしその上喜ばしいない」物があるとしたらこの怪談話は事業主利益だ fact9: 記者会見場は事業主利益でない fact10: なにがしかのものは市内電話料金である fact11: 「南東部でない」ものはある fact12: もしもこの反乱軍が新光三越でないとするとこの怪談話は喜ばしかない fact13: もしも「市内電話料金だということはない」ものはあれば「あの記名投票は民主共和国政府であるということはなくて合えるということはない」ということは誤りである fact14: もしもこの適が新光三越でないならば南東部だということはないしおまけにそれは記者会見場でない fact15: なにかは南東部でないが記者会見場だ fact16: あのＮＳＰは十七年前でなくて新光三越でない fact17: あのＮＳＰは新光三越でない fact18: 仮に「あのＮＳＰは十七年前である」ということは正しいとすれば記者会見場でない fact19: 仮に「あるものは民主共和国政府でなくておまけにそれは合えない」ということは嘘であるとすると南東部であるということはない fact20: 民主共和国政府は南東部でない fact21: もし「記者会見場でなくて更に十七年前でない」ものがあるとしたらあの記名投票は新光三越だ fact22: もし仮に何かは市内電話料金でないならば「あの記名投票が民主共和国政府だけどそれは合えない」ということは成り立たない fact23: 「「記者会見場でない」ということは成り立つ」ものはある fact24: 仮にこの反乱軍が民主共和国政府であるならこの怪談話は市内電話料金だ fact25: 仮にこの怪談話が市内電話料金だとするとあの記名投票は事業主利益だ fact26: もし仮に「南東部でなくてしかも記者会見場でない」ものはあるとしたら「この怪談話は喜ばしい」ということは正しい ; $hypothesis$ = あの記名投票は事業主利益でない ; $proof$ = 
fact1 & fact13 -> int1: 「あの記名投票は民主共和国政府であるということはなくて加えて合えるということはない」ということは誤っている; fact19 -> int2: もし仮に「あの記名投票は民主共和国政府でないしそれは合えるということはない」ということは間違いであるとしたらそれは南東部でない; int1 & int2 -> int3: あの記名投票は南東部でない; void -> assump1: 以下のように仮定する。あの記名投票は記者会見場でない; int3 & assump1 -> int4: あの記名投票は南東部でなくてそれは記者会見場でない; int4 -> int5: あるものは南東部でないし記者会見場でない; int5 & fact26 -> int6: この怪談話は喜ばしい; fact16 & fact7 -> int7: この反乱軍は新光三越でない; fact12 & int7 -> int8: この怪談話は喜ばしかない; int6 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: あの記名投票は記者会見場である; fact9 -> int11: あの記名投票が記者会見場だとすればそれは事業主利益でない; int10 & int11 -> hypothesis; __PROVED__
事実1: なにがしかの物は市内電話料金でない
事実2: 仮にあの記名投票が民主共和国政府だとしたら南東部でない
事実3: あのＮＳＰは記者会見場でない
事実4: あのＮＳＰが十七年前でないがしかし新光三越であるとするとこの反乱軍は新光三越でない
事実5: あの記名投票は喜ばしかない
事実6: あのＮＳＰが南東部でないとすればあの反乱軍は民主共和国政府で合える
事実7: もしあのＮＳＰが十七年前でないしさらに新光三越であるということはないとするとこの反乱軍は新光三越だということはない
事実8: もし「十七年前でないしその上喜ばしいない」物があるとしたらこの怪談話は事業主利益だ
事実9: 記者会見場は事業主利益でない
事実10: なにがしかのものは市内電話料金である
事実11: 「南東部でない」ものはある
事実12: もしもこの反乱軍が新光三越でないとするとこの怪談話は喜ばしかない
事実13: もしも「市内電話料金だということはない」ものはあれば「あの記名投票は民主共和国政府であるということはなくて合えるということはない」ということは誤りである
事実14: もしもこの適が新光三越でないならば南東部だということはないしおまけにそれは記者会見場でない
事実15: なにかは南東部でないが記者会見場だ
事実16: あのＮＳＰは十七年前でなくて新光三越でない
事実17: あのＮＳＰは新光三越でない
事実18: 仮に「あのＮＳＰは十七年前である」ということは正しいとすれば記者会見場でない
事実19: 仮に「あるものは民主共和国政府でなくておまけにそれは合えない」ということは嘘であるとすると南東部であるということはない
事実20: 民主共和国政府は南東部でない
事実21: もし「記者会見場でなくて更に十七年前でない」ものがあるとしたらあの記名投票は新光三越だ
事実22: もし仮に何かは市内電話料金でないならば「あの記名投票が民主共和国政府だけどそれは合えない」ということは成り立たない
事実23: 「「記者会見場でない」ということは成り立つ」ものはある
事実24: 仮にこの反乱軍が民主共和国政府であるならこの怪談話は市内電話料金だ
事実25: 仮にこの怪談話が市内電話料金だとするとあの記名投票は事業主利益だ
事実26: もし仮に「南東部でなくてしかも記者会見場でない」ものはあるとしたら「この怪談話は喜ばしい」ということは正しい

仮説: あの記名投票は事業主利益でない
1. 事実1と事実13から、推論1: "「あの記名投票は民主共和国政府であるということはなくて加えて合えるということはない」ということは誤っている"が導かれる
2. 事実19から、推論2: "もし仮に「あの記名投票は民主共和国政府でないしそれは合えるということはない」ということは間違いであるとしたらそれは南東部でない"が導かれる
3. 推論1と推論2から、推論3: "あの記名投票は南東部でない"が導かれる
4. 仮定1: 以下のように仮定する。あの記名投票は記者会見場でない
5. 推論3と仮定1から、推論4: "あの記名投票は南東部でなくてそれは記者会見場でない"が導かれる
6. 推論4から、推論5: "あるものは南東部でないし記者会見場でない"が導かれる
7. 推論5と事実26から、推論6: "この怪談話は喜ばしい"が導かれる
8. 事実16と事実7から、推論7: "この反乱軍は新光三越でない"が導かれる
9. 事実12と推論7から、推論8: "この怪談話は喜ばしかない"が導かれる
10. 推論6と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "あの記名投票は記者会見場である"が導かれる
12. 事実9から、推論11: "あの記名投票が記者会見場だとすればそれは事業主利益でない"が導かれる
13. 推論10と推論11から、仮説が導かれる

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