「もし仮にあの最終的合意が爆弾ならばあの原核はしおらしい」ということは成り立たない
fact1: もしもその原核が爆弾だとしたらあの最終的合意は戸惑う fact2: 「あの最終的合意は戸惑う」ということは誤りだということはない fact3: 仮にその原核が戸惑うとしたらあの最終的合意はしおらしい fact4: あの最終的合意は精緻化する fact5: もしその原核がしおらしいとすればあの最終的合意は戸惑う fact6: この内親王は爆弾である fact7: その原核は臍だ fact8: 何らかのものが戸惑うとするとしおらしい fact9: 仮にあの最終的合意が戸惑うなら爆弾だ fact10: その原核は一等賞だ fact11: その原核は母体企業だ fact12: その原核は爆弾であるならそれは戸惑う fact13: 仮にその原核が爆弾だとするとあの最終的合意はしおらしい fact14: もしも「あの最終的合意は爆弾だ」ということは正しいならその原核は戸惑う fact15: もしなにがしかのものが支障無いとすればそれは浮き世離れする
void -> assump1: 以下のように仮定する。あの最終的合意は爆弾である; fact14 & assump1 -> int1: 「その原核は戸惑う」ということは間違いでない; fact8 -> int2: もしもその原核は戸惑えば「しおらしい」ということは成り立つ; int1 & int2 -> int3: その原核はしおらしい; [assump1] & int3 -> hypothesis;
$facts$ = fact1: もしもその原核が爆弾だとしたらあの最終的合意は戸惑う fact2: 「あの最終的合意は戸惑う」ということは誤りだということはない fact3: 仮にその原核が戸惑うとしたらあの最終的合意はしおらしい fact4: あの最終的合意は精緻化する fact5: もしその原核がしおらしいとすればあの最終的合意は戸惑う fact6: この内親王は爆弾である fact7: その原核は臍だ fact8: 何らかのものが戸惑うとするとしおらしい fact9: 仮にあの最終的合意が戸惑うなら爆弾だ fact10: その原核は一等賞だ fact11: その原核は母体企業だ fact12: その原核は爆弾であるならそれは戸惑う fact13: 仮にその原核が爆弾だとするとあの最終的合意はしおらしい fact14: もしも「あの最終的合意は爆弾だ」ということは正しいならその原核は戸惑う fact15: もしなにがしかのものが支障無いとすればそれは浮き世離れする ; $hypothesis$ = 「もし仮にあの最終的合意が爆弾ならばあの原核はしおらしい」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの最終的合意は爆弾である; fact14 & assump1 -> int1: 「その原核は戸惑う」ということは間違いでない; fact8 -> int2: もしもその原核は戸惑えば「しおらしい」ということは成り立つ; int1 & int2 -> int3: その原核はしおらしい; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: もしもその原核が爆弾だとしたらあの最終的合意は戸惑う
事実2: 「あの最終的合意は戸惑う」ということは誤りだということはない
事実3: 仮にその原核が戸惑うとしたらあの最終的合意はしおらしい
事実4: あの最終的合意は精緻化する
事実5: もしその原核がしおらしいとすればあの最終的合意は戸惑う
事実6: この内親王は爆弾である
事実7: その原核は臍だ
事実8: 何らかのものが戸惑うとするとしおらしい
事実9: 仮にあの最終的合意が戸惑うなら爆弾だ
事実10: その原核は一等賞だ
事実11: その原核は母体企業だ
事実12: その原核は爆弾であるならそれは戸惑う
事実13: 仮にその原核が爆弾だとするとあの最終的合意はしおらしい
事実14: もしも「あの最終的合意は爆弾だ」ということは正しいならその原核は戸惑う
事実15: もしなにがしかのものが支障無いとすればそれは浮き世離れする

仮説: 「もし仮にあの最終的合意が爆弾ならばあの原核はしおらしい」ということは成り立たない
1. 仮定1: 以下のように仮定する。あの最終的合意は爆弾である
2. 事実14と仮定1から、推論1: "「その原核は戸惑う」ということは間違いでない"が導かれる
3. 事実8から、推論2: "もしもその原核は戸惑えば「しおらしい」ということは成り立つ"が導かれる
4. 推論1と推論2から、推論3: "その原核はしおらしい"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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