「あの国際政治がぞめくならこの反共は納得出来る」ということは本当でない
fact1: この白銅鏡は恥ずかし fact2: あの国際政治は禁止するし恥ずかし fact3: 「ぞめく」物はある fact4: 仮に何らかのものがぞめくし恥ずかしとすれば「あの国際政治は納得出来る」ということは誤りでない fact5: その近所付き合いは納得出来る fact6: もし仮になにがしかの物が禁止するし恥ずかしとしたら「あの国際政治は納得出来る」ということは成り立つ fact7: あの国際政治は納得出来る fact8: もし仮にある物は恥ずかししかつぞめくとすると「この反共は納得出来る」ということは本当だ fact9: もし仮にあの国際政治が淡くないならばあの飲み薬は分譲するがしかし納得出来ない fact10: あの国際政治は禁止するしさらにそれは納得出来る fact11: もしも「ぞめくしさらに禁止する」物があるとするとあの国際政治は納得出来る fact12: あの国際政治は禁止する fact13: もし仮にあの国際政治が納得出来るならこの反共は禁止する fact14: 「恥ずかし」物はある fact15: この反共はぞめく fact16: もしもなにかは分譲するけれど納得出来ないとすればそれは恥ずかしない fact17: あの国際政治は喫煙する fact18: 恥ずかしないものはぞめくししかも禁止する fact19: あの弱冠は禁止するし火照る fact20: その腸内細菌科はぞめく
fact2 -> int1: あの国際政治は恥ずかし; void -> assump1: 以下のように仮定する。あの国際政治はぞめく; int1 & assump1 -> int2: あの国際政治は恥ずかしし加えてぞめく; int2 -> int3: 「恥ずかししぞめく」物はある; int3 & fact8 -> int4: この反共は納得出来る; [assump1] & int4 -> hypothesis;
この飲み薬はぞめく
fact21 -> int5: この飲み薬が恥ずかしないとするとぞめくし禁止する; fact22 -> int6: もしもこの飲み薬が分譲するけど納得出来ないとすると恥ずかしない;
$facts$ = fact1: この白銅鏡は恥ずかし fact2: あの国際政治は禁止するし恥ずかし fact3: 「ぞめく」物はある fact4: 仮に何らかのものがぞめくし恥ずかしとすれば「あの国際政治は納得出来る」ということは誤りでない fact5: その近所付き合いは納得出来る fact6: もし仮になにがしかの物が禁止するし恥ずかしとしたら「あの国際政治は納得出来る」ということは成り立つ fact7: あの国際政治は納得出来る fact8: もし仮にある物は恥ずかししかつぞめくとすると「この反共は納得出来る」ということは本当だ fact9: もし仮にあの国際政治が淡くないならばあの飲み薬は分譲するがしかし納得出来ない fact10: あの国際政治は禁止するしさらにそれは納得出来る fact11: もしも「ぞめくしさらに禁止する」物があるとするとあの国際政治は納得出来る fact12: あの国際政治は禁止する fact13: もし仮にあの国際政治が納得出来るならこの反共は禁止する fact14: 「恥ずかし」物はある fact15: この反共はぞめく fact16: もしもなにかは分譲するけれど納得出来ないとすればそれは恥ずかしない fact17: あの国際政治は喫煙する fact18: 恥ずかしないものはぞめくししかも禁止する fact19: あの弱冠は禁止するし火照る fact20: その腸内細菌科はぞめく ; $hypothesis$ = 「あの国際政治がぞめくならこの反共は納得出来る」ということは本当でない ; $proof$ = 
fact2 -> int1: あの国際政治は恥ずかし; void -> assump1: 以下のように仮定する。あの国際政治はぞめく; int1 & assump1 -> int2: あの国際政治は恥ずかしし加えてぞめく; int2 -> int3: 「恥ずかししぞめく」物はある; int3 & fact8 -> int4: この反共は納得出来る; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: この白銅鏡は恥ずかし
事実2: あの国際政治は禁止するし恥ずかし
事実3: 「ぞめく」物はある
事実4: 仮に何らかのものがぞめくし恥ずかしとすれば「あの国際政治は納得出来る」ということは誤りでない
事実5: その近所付き合いは納得出来る
事実6: もし仮になにがしかの物が禁止するし恥ずかしとしたら「あの国際政治は納得出来る」ということは成り立つ
事実7: あの国際政治は納得出来る
事実8: もし仮にある物は恥ずかししかつぞめくとすると「この反共は納得出来る」ということは本当だ
事実9: もし仮にあの国際政治が淡くないならばあの飲み薬は分譲するがしかし納得出来ない
事実10: あの国際政治は禁止するしさらにそれは納得出来る
事実11: もしも「ぞめくしさらに禁止する」物があるとするとあの国際政治は納得出来る
事実12: あの国際政治は禁止する
事実13: もし仮にあの国際政治が納得出来るならこの反共は禁止する
事実14: 「恥ずかし」物はある
事実15: この反共はぞめく
事実16: もしもなにかは分譲するけれど納得出来ないとすればそれは恥ずかしない
事実17: あの国際政治は喫煙する
事実18: 恥ずかしないものはぞめくししかも禁止する
事実19: あの弱冠は禁止するし火照る
事実20: その腸内細菌科はぞめく

仮説: 「あの国際政治がぞめくならこの反共は納得出来る」ということは本当でない
1. 事実2から、推論1: "あの国際政治は恥ずかし"が導かれる
2. 仮定1: 以下のように仮定する。あの国際政治はぞめく
3. 推論1と仮定1から、推論2: "あの国際政治は恥ずかしし加えてぞめく"が導かれる
4. 推論2から、推論3: "「恥ずかししぞめく」物はある"が導かれる
5. 推論3と事実8から、推論4: "この反共は納得出来る"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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