その地方選挙は遠し
fact1: せせこましい物が遠しとしたら三山でない fact2: もし仮にとある物は憎たらしくないなら「それは充溢するしそれは転覆する」ということは誤っている fact3: もしも何らかの物が充溢しないならばそれは図々しいか三山であるかあるいは両方である fact4: 仮にそのＳＦ映画が比較し難いということはないならばその政治史はせせこましいということはない fact5: 望ましくらないしまた憎たらしいものはない fact6: 仮に「このアナロジーは望ましくらない一方で憎たらしい」ということは間違いならばこの一億二千五百万人は憎たらしくない fact7: 「この一億二千五百万人は図々しい」ということは成り立つとしたらそのＳＦ映画は比較し難いということはない fact8: その地方選挙は三山であるしそれに図々しい fact9: 「何らかの物が充溢するしその上それは転覆する」ということは嘘であるとするとそれは充溢しない fact10: その地方選挙はせせこましくて比較し難い
fact10 -> int1: その地方選挙はせせこましい; void -> assump1: 以下のように仮定する。その地方選挙は遠し; int1 & assump1 -> int2: その地方選挙はせせこましいしそれは遠し; fact1 -> int3: もしもその地方選挙はせせこましいししかも遠しとすると三山でない; int2 & int3 -> int4: その地方選挙は三山でない; fact8 -> int5: 「その地方選挙は三山だ」ということは正しい; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
その地方選挙は遠し
fact16 -> int7: この一億二千五百万人が充溢しないとしたらそれは図々しいかまたは三山であるかあるいは両方である; fact12 -> int8: 「もしも「この一億二千五百万人は充溢するし加えて転覆する」ということは誤りだとすれば「この一億二千五百万人は充溢しない」ということは確かだ」ということは成り立つ; fact13 -> int9: もしもこの一億二千五百万人は憎たらしくないならば「充溢するし転覆する」ということは誤っている; fact11 -> int10: 「「このアナロジーは望ましくらないが憎たらしい」ということは間違いでない」ということは事実と異なる; fact15 & int10 -> int11: 「この一億二千五百万人は憎たらしくない」ということは確かである; int9 & int11 -> int12: 「この一億二千五百万人は充溢するしその上転覆する」ということは成り立たない; int8 & int12 -> int13: この一億二千五百万人は充溢しない; int7 & int13 -> int14: この一億二千五百万人は図々しいかまたは三山だ;
$facts$ = fact1: せせこましい物が遠しとしたら三山でない fact2: もし仮にとある物は憎たらしくないなら「それは充溢するしそれは転覆する」ということは誤っている fact3: もしも何らかの物が充溢しないならばそれは図々しいか三山であるかあるいは両方である fact4: 仮にそのＳＦ映画が比較し難いということはないならばその政治史はせせこましいということはない fact5: 望ましくらないしまた憎たらしいものはない fact6: 仮に「このアナロジーは望ましくらない一方で憎たらしい」ということは間違いならばこの一億二千五百万人は憎たらしくない fact7: 「この一億二千五百万人は図々しい」ということは成り立つとしたらそのＳＦ映画は比較し難いということはない fact8: その地方選挙は三山であるしそれに図々しい fact9: 「何らかの物が充溢するしその上それは転覆する」ということは嘘であるとするとそれは充溢しない fact10: その地方選挙はせせこましくて比較し難い ; $hypothesis$ = その地方選挙は遠し ; $proof$ = 
fact10 -> int1: その地方選挙はせせこましい; void -> assump1: 以下のように仮定する。その地方選挙は遠し; int1 & assump1 -> int2: その地方選挙はせせこましいしそれは遠し; fact1 -> int3: もしもその地方選挙はせせこましいししかも遠しとすると三山でない; int2 & int3 -> int4: その地方選挙は三山でない; fact8 -> int5: 「その地方選挙は三山だ」ということは正しい; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: せせこましい物が遠しとしたら三山でない
事実2: もし仮にとある物は憎たらしくないなら「それは充溢するしそれは転覆する」ということは誤っている
事実3: もしも何らかの物が充溢しないならばそれは図々しいか三山であるかあるいは両方である
事実4: 仮にそのＳＦ映画が比較し難いということはないならばその政治史はせせこましいということはない
事実5: 望ましくらないしまた憎たらしいものはない
事実6: 仮に「このアナロジーは望ましくらない一方で憎たらしい」ということは間違いならばこの一億二千五百万人は憎たらしくない
事実7: 「この一億二千五百万人は図々しい」ということは成り立つとしたらそのＳＦ映画は比較し難いということはない
事実8: その地方選挙は三山であるしそれに図々しい
事実9: 「何らかの物が充溢するしその上それは転覆する」ということは嘘であるとするとそれは充溢しない
事実10: その地方選挙はせせこましくて比較し難い

仮説: その地方選挙は遠し
1. 事実10から、推論1: "その地方選挙はせせこましい"が導かれる
2. 仮定1: 以下のように仮定する。その地方選挙は遠し
3. 推論1と仮定1から、推論2: "その地方選挙はせせこましいしそれは遠し"が導かれる
4. 事実1から、推論3: "もしもその地方選挙はせせこましいししかも遠しとすると三山でない"が導かれる
5. 推論2と推論3から、推論4: "その地方選挙は三山でない"が導かれる
6. 事実8から、推論5: "「その地方選挙は三山だ」ということは正しい"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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