「もし仮にこの一億円以下が得られ易くないとしたらあの魔法石は恐ろしくないし輔弼しない」ということは成り立たない
fact1: 仮にそのＤＩＯＮが抑制しないとしたらあの魔法石は腑甲斐無くないしまた得られ易くない fact2: 仮に「あの魔法石は恐ろしくない一方で輔弼する」ということは事実と異なるとすればあの一億円以下は得られ易い fact3: もし仮になにがしかのものが安保だとすると浚わない一方でＥＳセイである fact4: 「その御遺骨は横滑りするし加えて懐かしい」ということは間違っている fact5: あの魔法石は恐ろしいということはない fact6: 「あの魔法石は輔弼する」ということは確かである fact7: 仮にこの一億円以下が得られ易くないとしたらあの魔法石は恐ろしくない fact8: もし「その御遺骨は横滑りするし懐かしい」ということは事実と異なればそれは横滑りしない fact9: 仮に「「あの魔法石は恐ろしいということはなくてかつそれは輔弼しない」ということは成り立つということはない」ということは成り立てばこの一億円以下は得られ易い fact10: もし仮にあるものが御紹介するとするとそれは恐ろしい fact11: もし「あの魔法石は得られ易くないし恐ろしくない」ということは成り立たないとすればあの一億円以下は輔弼する fact12: もしあの魔法石が恐ろしくないしそれにそれが輔弼しないとしたらこの一億円以下は得られ易い fact13: あの魔法石は恐ろしくないけれど輔弼する fact14: この一億円以下が得られ易いということはないとしたらあの魔法石は恐ろしいということはない一方でそれは輔弼する fact15: もし仮にあの魔法石が腑甲斐無くないしそれに得られ易くないとするとこの一億円以下は御紹介する fact16: もしなにがしかのものはＥＳセイであるか薄過ぎるということはないならばそれは抑制しない fact17: 「あの魔法石は恐ろしいけど輔弼しない」ということは成り立たない fact18: もし仮に「あの魔法石は恐ろしい」ということは本当であるとするとこの一億円以下は得られ易い fact19: もしその御遺骨が浚わない一方でＥＳセイだとしたらそのＤＩＯＮはＥＳセイである fact20: 仮になにかは横滑りしないなら安保でその上上り切る
void -> assump2: 以下のように仮定する。「あの魔法石は恐ろしいということはないしかつ輔弼するということはない」ということは成り立つということはない; fact9 & assump2 -> int1: この一億円以下は得られ易い; void -> assump1: 以下のように仮定する。「この一億円以下は得られ易くない」ということは成り立つ; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: あの魔法石は恐ろしくないししかも輔弼するということはない; [assump1] & int3 -> hypothesis;
この一億円以下は恐ろしい
fact22 -> int4: もし仮にこの一億円以下が御紹介するなら恐ろしい; fact23 -> int5: もし仮にそのＤＩＯＮがＥＳセイであるかあるいはそれは薄過ぎるということはないかどちらもだとしたら抑制しない; fact28 -> int6: 仮に「その御遺骨は安保である」ということは本当であるとすると浚わないししかもそれはＥＳセイである; fact24 -> int7: もし仮にその御遺骨が横滑りしないとしたら安保だしまたそれは上り切る; fact25 & fact27 -> int8: その御遺骨は横滑りしない; int7 & int8 -> int9: その御遺骨は安保で上り切る; int9 -> int10: その御遺骨は安保だ; int6 & int10 -> int11: その御遺骨は浚わないがしかしＥＳセイである; fact29 & int11 -> int12: そのＤＩＯＮはＥＳセイである; int12 -> int13: そのＤＩＯＮはＥＳセイであるかもしくは薄過ぎないか両方ともである; int5 & int13 -> int14: そのＤＩＯＮは抑制しない; fact21 & int14 -> int15: 「あの魔法石は腑甲斐無いということはなくて更にそれは得られ易いということはない」ということは偽でない; fact26 & int15 -> int16: この一億円以下は御紹介する; int4 & int16 -> hypothesis;
$facts$ = fact1: 仮にそのＤＩＯＮが抑制しないとしたらあの魔法石は腑甲斐無くないしまた得られ易くない fact2: 仮に「あの魔法石は恐ろしくない一方で輔弼する」ということは事実と異なるとすればあの一億円以下は得られ易い fact3: もし仮になにがしかのものが安保だとすると浚わない一方でＥＳセイである fact4: 「その御遺骨は横滑りするし加えて懐かしい」ということは間違っている fact5: あの魔法石は恐ろしいということはない fact6: 「あの魔法石は輔弼する」ということは確かである fact7: 仮にこの一億円以下が得られ易くないとしたらあの魔法石は恐ろしくない fact8: もし「その御遺骨は横滑りするし懐かしい」ということは事実と異なればそれは横滑りしない fact9: 仮に「「あの魔法石は恐ろしいということはなくてかつそれは輔弼しない」ということは成り立つということはない」ということは成り立てばこの一億円以下は得られ易い fact10: もし仮にあるものが御紹介するとするとそれは恐ろしい fact11: もし「あの魔法石は得られ易くないし恐ろしくない」ということは成り立たないとすればあの一億円以下は輔弼する fact12: もしあの魔法石が恐ろしくないしそれにそれが輔弼しないとしたらこの一億円以下は得られ易い fact13: あの魔法石は恐ろしくないけれど輔弼する fact14: この一億円以下が得られ易いということはないとしたらあの魔法石は恐ろしいということはない一方でそれは輔弼する fact15: もし仮にあの魔法石が腑甲斐無くないしそれに得られ易くないとするとこの一億円以下は御紹介する fact16: もしなにがしかのものはＥＳセイであるか薄過ぎるということはないならばそれは抑制しない fact17: 「あの魔法石は恐ろしいけど輔弼しない」ということは成り立たない fact18: もし仮に「あの魔法石は恐ろしい」ということは本当であるとするとこの一億円以下は得られ易い fact19: もしその御遺骨が浚わない一方でＥＳセイだとしたらそのＤＩＯＮはＥＳセイである fact20: 仮になにかは横滑りしないなら安保でその上上り切る ; $hypothesis$ = 「もし仮にこの一億円以下が得られ易くないとしたらあの魔法石は恐ろしくないし輔弼しない」ということは成り立たない ; $proof$ = 
void -> assump2: 以下のように仮定する。「あの魔法石は恐ろしいということはないしかつ輔弼するということはない」ということは成り立つということはない; fact9 & assump2 -> int1: この一億円以下は得られ易い; void -> assump1: 以下のように仮定する。「この一億円以下は得られ易くない」ということは成り立つ; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: あの魔法石は恐ろしくないししかも輔弼するということはない; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: 仮にそのＤＩＯＮが抑制しないとしたらあの魔法石は腑甲斐無くないしまた得られ易くない
事実2: 仮に「あの魔法石は恐ろしくない一方で輔弼する」ということは事実と異なるとすればあの一億円以下は得られ易い
事実3: もし仮になにがしかのものが安保だとすると浚わない一方でＥＳセイである
事実4: 「その御遺骨は横滑りするし加えて懐かしい」ということは間違っている
事実5: あの魔法石は恐ろしいということはない
事実6: 「あの魔法石は輔弼する」ということは確かである
事実7: 仮にこの一億円以下が得られ易くないとしたらあの魔法石は恐ろしくない
事実8: もし「その御遺骨は横滑りするし懐かしい」ということは事実と異なればそれは横滑りしない
事実9: 仮に「「あの魔法石は恐ろしいということはなくてかつそれは輔弼しない」ということは成り立つということはない」ということは成り立てばこの一億円以下は得られ易い
事実10: もし仮にあるものが御紹介するとするとそれは恐ろしい
事実11: もし「あの魔法石は得られ易くないし恐ろしくない」ということは成り立たないとすればあの一億円以下は輔弼する
事実12: もしあの魔法石が恐ろしくないしそれにそれが輔弼しないとしたらこの一億円以下は得られ易い
事実13: あの魔法石は恐ろしくないけれど輔弼する
事実14: この一億円以下が得られ易いということはないとしたらあの魔法石は恐ろしいということはない一方でそれは輔弼する
事実15: もし仮にあの魔法石が腑甲斐無くないしそれに得られ易くないとするとこの一億円以下は御紹介する
事実16: もしなにがしかのものはＥＳセイであるか薄過ぎるということはないならばそれは抑制しない
事実17: 「あの魔法石は恐ろしいけど輔弼しない」ということは成り立たない
事実18: もし仮に「あの魔法石は恐ろしい」ということは本当であるとするとこの一億円以下は得られ易い
事実19: もしその御遺骨が浚わない一方でＥＳセイだとしたらそのＤＩＯＮはＥＳセイである
事実20: 仮になにかは横滑りしないなら安保でその上上り切る

仮説: 「もし仮にこの一億円以下が得られ易くないとしたらあの魔法石は恐ろしくないし輔弼しない」ということは成り立たない
1. 仮定2: 以下のように仮定する。「あの魔法石は恐ろしいということはないしかつ輔弼するということはない」ということは成り立つということはない
2. 事実9と仮定2から、推論1: "この一億円以下は得られ易い"が導かれる
3. 仮定1: 以下のように仮定する。「この一億円以下は得られ易くない」ということは成り立つ
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "あの魔法石は恐ろしくないししかも輔弼するということはない"が導かれる
6. [仮定1]と推論3から、仮説が否定される

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