あの憲法規定は本当らしくない
fact1: 「なにがしかの物は五常でない」ということは事実と異ならないならば「それはランク毎でそれは新古でない」ということは間違いだ fact2: 「あのナツメグは最敬礼であるならあのナツメグはぐれないけれど錫だ」ということは確かだ fact3: あの憲法規定は術前検査である fact4: 「「ランク毎だ」ということは間違っていない」ものはある fact5: 「「看過し難い」ということは成り立つ」ものはある fact6: なにがしかのものは逃げ切るとすれば「本当らしいがしかし看過し難いということはない」ということは事実と異なる fact7: この日本社会はランク毎でない fact8: もしも誤解され易くないものは目覚ましいとすれば「この奥向きは五常でない」ということは確かだ fact9: 「逃げ切る」ものはある fact10: 「あの憲法規定が本当らしいということはないしさらに入り辛くない」ということは誤っているとすると「それは降り頻らない」ということは事実だ fact11: もしもなにがしかの物はランク毎でないとしたら「この年当時は入り辛い一方で降り頻らない」ということは成り立たない fact12: もし仮に「あのナツメグはぐれない」ということは成り立つとすればその東労組は誤解され易くないが目覚ましい fact13: 「この年当時は入り辛くて降り頻る」ということは間違っている fact14: あの憲法規定は看過し難い fact15: もし「ある物は入り辛いが降り頻らない」ということは間違いであるならば「それは降り頻る」ということは確かである fact16: 「あのナツメグは最敬礼だ」ということは嘘であるということはない fact17: 仮に何かはランク毎でないとしたら「この年当時は入り辛いしまた降り頻る」ということは成り立つということはない fact18: もし仮にあの憲法規定が降り頻るということはないならばその自然法則は看過し難くないけど逃げ切る fact19: もしもなにがしかの物が看過し難いし逃げ切るとしたら「この年当時は降り頻らない」ということは真実である fact20: 仮にあの憲法規定が逃げ切らないとしたらそれは本当らしい fact21: もしとある物はランク毎でないとすると「それは本当らしくないし更にそれは入り辛くない」ということは誤っている fact22: 仮にその局所所見はランク毎でないなら「「この日本社会は入り辛くないが降り頻る」ということは成り立たない」ということは本当である fact23: この年当時は看過し難い
void -> assump1: 以下のように仮定する。「あの憲法規定は逃げ切る」ということは嘘でない; fact14 & assump1 -> int1: あの憲法規定は看過し難くてかつ逃げ切る; int1 -> int2: 「看過し難くてさらに逃げ切る」ものはある; int2 & fact19 -> int3: この年当時は降り頻らない; fact7 -> int4: 「ランク毎でない」物はある; int4 & fact11 -> int5: 「この年当時は入り辛い一方で降り頻らない」ということは成り立たない; fact15 -> int6: もしも「この年当時は入り辛い一方で降り頻るということはない」ということは間違いだとすれば降り頻る; int5 & int6 -> int7: この年当時は降り頻る; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの憲法規定は逃げ切らない; int9 & fact20 -> hypothesis;
その自然法則は逃げ切る
fact24 -> int10: あの憲法規定はランク毎でないとしたら「「それは本当らしくない物でありかつ入り辛いということはない」ということは本当だ」ということは成り立つということはない;
$facts$ = fact1: 「なにがしかの物は五常でない」ということは事実と異ならないならば「それはランク毎でそれは新古でない」ということは間違いだ fact2: 「あのナツメグは最敬礼であるならあのナツメグはぐれないけれど錫だ」ということは確かだ fact3: あの憲法規定は術前検査である fact4: 「「ランク毎だ」ということは間違っていない」ものはある fact5: 「「看過し難い」ということは成り立つ」ものはある fact6: なにがしかのものは逃げ切るとすれば「本当らしいがしかし看過し難いということはない」ということは事実と異なる fact7: この日本社会はランク毎でない fact8: もしも誤解され易くないものは目覚ましいとすれば「この奥向きは五常でない」ということは確かだ fact9: 「逃げ切る」ものはある fact10: 「あの憲法規定が本当らしいということはないしさらに入り辛くない」ということは誤っているとすると「それは降り頻らない」ということは事実だ fact11: もしもなにがしかの物はランク毎でないとしたら「この年当時は入り辛い一方で降り頻らない」ということは成り立たない fact12: もし仮に「あのナツメグはぐれない」ということは成り立つとすればその東労組は誤解され易くないが目覚ましい fact13: 「この年当時は入り辛くて降り頻る」ということは間違っている fact14: あの憲法規定は看過し難い fact15: もし「ある物は入り辛いが降り頻らない」ということは間違いであるならば「それは降り頻る」ということは確かである fact16: 「あのナツメグは最敬礼だ」ということは嘘であるということはない fact17: 仮に何かはランク毎でないとしたら「この年当時は入り辛いしまた降り頻る」ということは成り立つということはない fact18: もし仮にあの憲法規定が降り頻るということはないならばその自然法則は看過し難くないけど逃げ切る fact19: もしもなにがしかの物が看過し難いし逃げ切るとしたら「この年当時は降り頻らない」ということは真実である fact20: 仮にあの憲法規定が逃げ切らないとしたらそれは本当らしい fact21: もしとある物はランク毎でないとすると「それは本当らしくないし更にそれは入り辛くない」ということは誤っている fact22: 仮にその局所所見はランク毎でないなら「「この日本社会は入り辛くないが降り頻る」ということは成り立たない」ということは本当である fact23: この年当時は看過し難い ; $hypothesis$ = あの憲法規定は本当らしくない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの憲法規定は逃げ切る」ということは嘘でない; fact14 & assump1 -> int1: あの憲法規定は看過し難くてかつ逃げ切る; int1 -> int2: 「看過し難くてさらに逃げ切る」ものはある; int2 & fact19 -> int3: この年当時は降り頻らない; fact7 -> int4: 「ランク毎でない」物はある; int4 & fact11 -> int5: 「この年当時は入り辛い一方で降り頻らない」ということは成り立たない; fact15 -> int6: もしも「この年当時は入り辛い一方で降り頻るということはない」ということは間違いだとすれば降り頻る; int5 & int6 -> int7: この年当時は降り頻る; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの憲法規定は逃げ切らない; int9 & fact20 -> hypothesis; __DISPROVED__
事実1: 「なにがしかの物は五常でない」ということは事実と異ならないならば「それはランク毎でそれは新古でない」ということは間違いだ
事実2: 「あのナツメグは最敬礼であるならあのナツメグはぐれないけれど錫だ」ということは確かだ
事実3: あの憲法規定は術前検査である
事実4: 「「ランク毎だ」ということは間違っていない」ものはある
事実5: 「「看過し難い」ということは成り立つ」ものはある
事実6: なにがしかのものは逃げ切るとすれば「本当らしいがしかし看過し難いということはない」ということは事実と異なる
事実7: この日本社会はランク毎でない
事実8: もしも誤解され易くないものは目覚ましいとすれば「この奥向きは五常でない」ということは確かだ
事実9: 「逃げ切る」ものはある
事実10: 「あの憲法規定が本当らしいということはないしさらに入り辛くない」ということは誤っているとすると「それは降り頻らない」ということは事実だ
事実11: もしもなにがしかの物はランク毎でないとしたら「この年当時は入り辛い一方で降り頻らない」ということは成り立たない
事実12: もし仮に「あのナツメグはぐれない」ということは成り立つとすればその東労組は誤解され易くないが目覚ましい
事実13: 「この年当時は入り辛くて降り頻る」ということは間違っている
事実14: あの憲法規定は看過し難い
事実15: もし「ある物は入り辛いが降り頻らない」ということは間違いであるならば「それは降り頻る」ということは確かである
事実16: 「あのナツメグは最敬礼だ」ということは嘘であるということはない
事実17: 仮に何かはランク毎でないとしたら「この年当時は入り辛いしまた降り頻る」ということは成り立つということはない
事実18: もし仮にあの憲法規定が降り頻るということはないならばその自然法則は看過し難くないけど逃げ切る
事実19: もしもなにがしかの物が看過し難いし逃げ切るとしたら「この年当時は降り頻らない」ということは真実である
事実20: 仮にあの憲法規定が逃げ切らないとしたらそれは本当らしい
事実21: もしとある物はランク毎でないとすると「それは本当らしくないし更にそれは入り辛くない」ということは誤っている
事実22: 仮にその局所所見はランク毎でないなら「「この日本社会は入り辛くないが降り頻る」ということは成り立たない」ということは本当である
事実23: この年当時は看過し難い

仮説: あの憲法規定は本当らしくない
1. 仮定1: 以下のように仮定する。「あの憲法規定は逃げ切る」ということは嘘でない
2. 事実14と仮定1から、推論1: "あの憲法規定は看過し難くてかつ逃げ切る"が導かれる
3. 推論1から、推論2: "「看過し難くてさらに逃げ切る」ものはある"が導かれる
4. 推論2と事実19から、推論3: "この年当時は降り頻らない"が導かれる
5. 事実7から、推論4: "「ランク毎でない」物はある"が導かれる
6. 推論4と事実11から、推論5: "「この年当時は入り辛い一方で降り頻らない」ということは成り立たない"が導かれる
7. 事実15から、推論6: "もしも「この年当時は入り辛い一方で降り頻るということはない」ということは間違いだとすれば降り頻る"が導かれる
8. 推論5と推論6から、推論7: "この年当時は降り頻る"が導かれる
9. 推論3と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "あの憲法規定は逃げ切らない"が導かれる
11. 推論9と事実20から、仮説が否定される

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