その歌碑は稼働し始めない
fact1: もしもその歌碑は低価法であるとしたらそれは稼働し始める fact2: もしその歌碑が稼働し始めるということはないとしたらそれは手荒くない fact3: あの地方人民会議は手荒いということはない fact4: もしも何らかの物は適用外でないなら「利用され易いしかつそれは甚だしくない」ということは真実でない fact5: 手荒くない物は適用外でない fact6: 仮にあの地方人民会議は適用外でないならば「「それは利用され易いししかも甚だしい」ということは本当だ」ということは成り立たない fact7: もし「あの地方人民会議は利用され易い一方で甚だしくない」ということは事実でないならばその歌碑は低価法だ fact8: 「あの地方人民会議は利用され易くてそれに甚だしい」ということは誤りだ
fact5 -> int1: もしもあの地方人民会議が手荒くないならば適用外でない; int1 & fact3 -> int2: あの地方人民会議は適用外でない; fact4 -> int3: もしもあの地方人民会議は適用外であるということはないとしたら「それは利用され易いが甚だしくない」ということは間違いだ; int2 & int3 -> int4: 「あの地方人民会議は利用され易い一方で甚だしくない」ということは誤っている; int4 & fact7 -> int5: その歌碑は低価法である; int5 & fact1 -> hypothesis;
$facts$ = fact1: もしもその歌碑は低価法であるとしたらそれは稼働し始める fact2: もしその歌碑が稼働し始めるということはないとしたらそれは手荒くない fact3: あの地方人民会議は手荒いということはない fact4: もしも何らかの物は適用外でないなら「利用され易いしかつそれは甚だしくない」ということは真実でない fact5: 手荒くない物は適用外でない fact6: 仮にあの地方人民会議は適用外でないならば「「それは利用され易いししかも甚だしい」ということは本当だ」ということは成り立たない fact7: もし「あの地方人民会議は利用され易い一方で甚だしくない」ということは事実でないならばその歌碑は低価法だ fact8: 「あの地方人民会議は利用され易くてそれに甚だしい」ということは誤りだ ; $hypothesis$ = その歌碑は稼働し始めない ; $proof$ = 
fact5 -> int1: もしもあの地方人民会議が手荒くないならば適用外でない; int1 & fact3 -> int2: あの地方人民会議は適用外でない; fact4 -> int3: もしもあの地方人民会議は適用外であるということはないとしたら「それは利用され易いが甚だしくない」ということは間違いだ; int2 & int3 -> int4: 「あの地方人民会議は利用され易い一方で甚だしくない」ということは誤っている; int4 & fact7 -> int5: その歌碑は低価法である; int5 & fact1 -> hypothesis; __DISPROVED__
事実1: もしもその歌碑は低価法であるとしたらそれは稼働し始める
事実2: もしその歌碑が稼働し始めるということはないとしたらそれは手荒くない
事実3: あの地方人民会議は手荒いということはない
事実4: もしも何らかの物は適用外でないなら「利用され易いしかつそれは甚だしくない」ということは真実でない
事実5: 手荒くない物は適用外でない
事実6: 仮にあの地方人民会議は適用外でないならば「「それは利用され易いししかも甚だしい」ということは本当だ」ということは成り立たない
事実7: もし「あの地方人民会議は利用され易い一方で甚だしくない」ということは事実でないならばその歌碑は低価法だ
事実8: 「あの地方人民会議は利用され易くてそれに甚だしい」ということは誤りだ

仮説: その歌碑は稼働し始めない
1. 事実5から、推論1: "もしもあの地方人民会議が手荒くないならば適用外でない"が導かれる
2. 推論1と事実3から、推論2: "あの地方人民会議は適用外でない"が導かれる
3. 事実4から、推論3: "もしもあの地方人民会議は適用外であるということはないとしたら「それは利用され易いが甚だしくない」ということは間違いだ"が導かれる
4. 推論2と推論3から、推論4: "「あの地方人民会議は利用され易い一方で甚だしくない」ということは誤っている"が導かれる
5. 推論4と事実7から、推論5: "その歌碑は低価法である"が導かれる
6. 推論5と事実1から、仮説が否定される

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