あの五日市郷土館は六十五人でない
fact1: もしなにかは花意匠でないかまたは畳み掛けないかもしくは両方ともだとすれば花意匠でない fact2: もし「とある物は輝かしくてさらに畳み掛ける」ということは誤りなら畳み掛けない fact3: もし仮にあの五日市郷土館が畳み掛けるとすればそれは六十五人だ fact4: あの五日市郷土館は輝かしい fact5: あの五日市郷土館は畳み掛けない fact6: 仮になにがしかのものが畳み掛けるとすれば六十五人でないしまた輝かしいということはない fact7: 「あのロイヤルティは畳み掛けない」ということは本当である fact8: もしも「あの五日市郷土館は輝かしくないしおまけに畳み掛けない」ということは嘘だとしたらそれは六十五人だ fact9: もし仮に何らかのものが慮るとすればそれは畳み掛ける fact10: 「あの五日市郷土館は輝かしくないが畳み掛ける」ということは成り立たない fact11: 「あの五日市郷土館は六十五人でないけどそれはフロンティアカーボンである」ということは成り立たない fact12: もし仮にあのＤＶＤ‐ＲＯＭは六十五人だということはないとすると「あの五日市郷土館は輝かしいしおまけに畳み掛ける」ということは嘘だ
void -> assump1: 以下のように仮定する。あの五日市郷土館は輝かしいということはないしそれは畳み掛けない; assump1 -> int1: あの五日市郷土館は輝かしいということはない; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「「あの五日市郷土館は輝かしくないし更に畳み掛けるということはない」ということは事実と異なる」ということは確かだ; int3 & fact8 -> hypothesis;
void -> assump1: (¬{A}{a} & ¬{B}{a}); assump1 -> int1: ¬{A}{a}; int1 & fact4 -> int2: #F#; [assump1] & int2 -> int3: ¬(¬{A}{a} & ¬{B}{a}); int3 & fact8 -> hypothesis;
あの五日市郷土館は花意匠でない
fact14 -> int4: もしあの五日市郷土館が花意匠でないかあるいはそれは畳み掛けないかあるいは両方であるならば「それは花意匠であるということはない」ということは事実である; fact15 -> int5: 仮に「あの五日市郷土館は輝かしくてさらに畳み掛ける」ということは成り立たないとすれば畳み掛けない;
$facts$ = fact1: もしなにかは花意匠でないかまたは畳み掛けないかもしくは両方ともだとすれば花意匠でない fact2: もし「とある物は輝かしくてさらに畳み掛ける」ということは誤りなら畳み掛けない fact3: もし仮にあの五日市郷土館が畳み掛けるとすればそれは六十五人だ fact4: あの五日市郷土館は輝かしい fact5: あの五日市郷土館は畳み掛けない fact6: 仮になにがしかのものが畳み掛けるとすれば六十五人でないしまた輝かしいということはない fact7: 「あのロイヤルティは畳み掛けない」ということは本当である fact8: もしも「あの五日市郷土館は輝かしくないしおまけに畳み掛けない」ということは嘘だとしたらそれは六十五人だ fact9: もし仮に何らかのものが慮るとすればそれは畳み掛ける fact10: 「あの五日市郷土館は輝かしくないが畳み掛ける」ということは成り立たない fact11: 「あの五日市郷土館は六十五人でないけどそれはフロンティアカーボンである」ということは成り立たない fact12: もし仮にあのＤＶＤ‐ＲＯＭは六十五人だということはないとすると「あの五日市郷土館は輝かしいしおまけに畳み掛ける」ということは嘘だ ; $hypothesis$ = あの五日市郷土館は六十五人でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの五日市郷土館は輝かしいということはないしそれは畳み掛けない; assump1 -> int1: あの五日市郷土館は輝かしいということはない; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「「あの五日市郷土館は輝かしくないし更に畳み掛けるということはない」ということは事実と異なる」ということは確かだ; int3 & fact8 -> hypothesis; __DISPROVED__
事実1: もしなにかは花意匠でないかまたは畳み掛けないかもしくは両方ともだとすれば花意匠でない
事実2: もし「とある物は輝かしくてさらに畳み掛ける」ということは誤りなら畳み掛けない
事実3: もし仮にあの五日市郷土館が畳み掛けるとすればそれは六十五人だ
事実4: あの五日市郷土館は輝かしい
事実5: あの五日市郷土館は畳み掛けない
事実6: 仮になにがしかのものが畳み掛けるとすれば六十五人でないしまた輝かしいということはない
事実7: 「あのロイヤルティは畳み掛けない」ということは本当である
事実8: もしも「あの五日市郷土館は輝かしくないしおまけに畳み掛けない」ということは嘘だとしたらそれは六十五人だ
事実9: もし仮に何らかのものが慮るとすればそれは畳み掛ける
事実10: 「あの五日市郷土館は輝かしくないが畳み掛ける」ということは成り立たない
事実11: 「あの五日市郷土館は六十五人でないけどそれはフロンティアカーボンである」ということは成り立たない
事実12: もし仮にあのＤＶＤ‐ＲＯＭは六十五人だということはないとすると「あの五日市郷土館は輝かしいしおまけに畳み掛ける」ということは嘘だ

仮説: あの五日市郷土館は六十五人でない
1. 仮定1: 以下のように仮定する。あの五日市郷土館は輝かしいということはないしそれは畳み掛けない
2. 仮定1から、推論1: "あの五日市郷土館は輝かしいということはない"が導かれる
3. 推論1と事実4から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「「あの五日市郷土館は輝かしくないし更に畳み掛けるということはない」ということは事実と異なる」ということは確かだ"が導かれる
5. 推論3と事実8から、仮説が否定される

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