あの唐物名物はスタンダードである
fact1: 「その勝利至上主義は草魚で加えて出所する」ということは正しい fact2: もしその関係上が出所するとしたらこの神産巣日御親尊は出所する fact3: その勝利至上主義は一体化出来る fact4: 仮にその勝利至上主義が出所すればこの神産巣日御親尊は出所する fact5: もし仮にこの御雑煮が生じ易くないとしたらその関係上は一体化出来ない fact6: もし仮にその勝利至上主義が草魚であるしまた出来難いならその関係上は一体化出来ない fact7: その勝利至上主義はスタンダードだということはない fact8: あの唐物名物は一体化出来ない fact9: 出来難くないものは生じ易くない fact10: もしもその関係上が生じ易くないとするとこの御雑煮は浸るけれど一体化出来ない fact11: 「もし仮にこの神産巣日御親尊が出所するとしたらこの核抑止は出所する」ということは成り立つ fact12: あの唐物名物がスタンダードでないならばこの核抑止は出所するけど草魚でない fact13: 仮に「その関係上は出来難いということはないかあるいは出所するかもしくは両方ともだ」ということは事実と異なればそのＳＬは出来難くない fact14: 「出来難いし夜鷹・天狗である」ものがあるとすればこの核抑止は出所しない fact15: その関係上はスタンダードだ fact16: その関係上は夜鷹・天狗である fact17: あの唐物名物は生じ易くない fact18: もし「この御雑煮は浸るが一体化出来ない」ということは確かだとするとあの唐物名物はスタンダードだということはない fact19: もし仮にその勝利至上主義が出所しないならこの御雑煮は一体化出来るけど草魚であるということはない
void -> assump1: 以下のように仮定する。その関係上は出来難い; assump1 & fact16 -> int1: 「その関係上は出来難いしおまけにそれは夜鷹・天狗だ」ということは成り立つ; int1 -> int2: 何かは出来難くておまけに夜鷹・天狗だ; int2 & fact14 -> int3: この核抑止は出所しない; fact1 -> int4: その勝利至上主義は出所する; fact4 & int4 -> int5: この神産巣日御親尊は出所する; int5 & fact11 -> int6: この核抑止は出所する; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その関係上は出来難いということはない; fact9 -> int9: その関係上が出来難くないとするとそれは生じ易くない; int8 & int9 -> int10: その関係上は生じ易くない; int10 & fact10 -> int11: この御雑煮は浸るけれどそれは一体化出来ない; int11 & fact18 -> hypothesis;
そのＳＬは出来難いということはない
$facts$ = fact1: 「その勝利至上主義は草魚で加えて出所する」ということは正しい fact2: もしその関係上が出所するとしたらこの神産巣日御親尊は出所する fact3: その勝利至上主義は一体化出来る fact4: 仮にその勝利至上主義が出所すればこの神産巣日御親尊は出所する fact5: もし仮にこの御雑煮が生じ易くないとしたらその関係上は一体化出来ない fact6: もし仮にその勝利至上主義が草魚であるしまた出来難いならその関係上は一体化出来ない fact7: その勝利至上主義はスタンダードだということはない fact8: あの唐物名物は一体化出来ない fact9: 出来難くないものは生じ易くない fact10: もしもその関係上が生じ易くないとするとこの御雑煮は浸るけれど一体化出来ない fact11: 「もし仮にこの神産巣日御親尊が出所するとしたらこの核抑止は出所する」ということは成り立つ fact12: あの唐物名物がスタンダードでないならばこの核抑止は出所するけど草魚でない fact13: 仮に「その関係上は出来難いということはないかあるいは出所するかもしくは両方ともだ」ということは事実と異なればそのＳＬは出来難くない fact14: 「出来難いし夜鷹・天狗である」ものがあるとすればこの核抑止は出所しない fact15: その関係上はスタンダードだ fact16: その関係上は夜鷹・天狗である fact17: あの唐物名物は生じ易くない fact18: もし「この御雑煮は浸るが一体化出来ない」ということは確かだとするとあの唐物名物はスタンダードだということはない fact19: もし仮にその勝利至上主義が出所しないならこの御雑煮は一体化出来るけど草魚であるということはない ; $hypothesis$ = あの唐物名物はスタンダードである ; $proof$ = 
void -> assump1: 以下のように仮定する。その関係上は出来難い; assump1 & fact16 -> int1: 「その関係上は出来難いしおまけにそれは夜鷹・天狗だ」ということは成り立つ; int1 -> int2: 何かは出来難くておまけに夜鷹・天狗だ; int2 & fact14 -> int3: この核抑止は出所しない; fact1 -> int4: その勝利至上主義は出所する; fact4 & int4 -> int5: この神産巣日御親尊は出所する; int5 & fact11 -> int6: この核抑止は出所する; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その関係上は出来難いということはない; fact9 -> int9: その関係上が出来難くないとするとそれは生じ易くない; int8 & int9 -> int10: その関係上は生じ易くない; int10 & fact10 -> int11: この御雑煮は浸るけれどそれは一体化出来ない; int11 & fact18 -> hypothesis; __DISPROVED__
事実1: 「その勝利至上主義は草魚で加えて出所する」ということは正しい
事実2: もしその関係上が出所するとしたらこの神産巣日御親尊は出所する
事実3: その勝利至上主義は一体化出来る
事実4: 仮にその勝利至上主義が出所すればこの神産巣日御親尊は出所する
事実5: もし仮にこの御雑煮が生じ易くないとしたらその関係上は一体化出来ない
事実6: もし仮にその勝利至上主義が草魚であるしまた出来難いならその関係上は一体化出来ない
事実7: その勝利至上主義はスタンダードだということはない
事実8: あの唐物名物は一体化出来ない
事実9: 出来難くないものは生じ易くない
事実10: もしもその関係上が生じ易くないとするとこの御雑煮は浸るけれど一体化出来ない
事実11: 「もし仮にこの神産巣日御親尊が出所するとしたらこの核抑止は出所する」ということは成り立つ
事実12: あの唐物名物がスタンダードでないならばこの核抑止は出所するけど草魚でない
事実13: 仮に「その関係上は出来難いということはないかあるいは出所するかもしくは両方ともだ」ということは事実と異なればそのＳＬは出来難くない
事実14: 「出来難いし夜鷹・天狗である」ものがあるとすればこの核抑止は出所しない
事実15: その関係上はスタンダードだ
事実16: その関係上は夜鷹・天狗である
事実17: あの唐物名物は生じ易くない
事実18: もし「この御雑煮は浸るが一体化出来ない」ということは確かだとするとあの唐物名物はスタンダードだということはない
事実19: もし仮にその勝利至上主義が出所しないならこの御雑煮は一体化出来るけど草魚であるということはない

仮説: あの唐物名物はスタンダードである
1. 仮定1: 以下のように仮定する。その関係上は出来難い
2. 仮定1と事実16から、推論1: "「その関係上は出来難いしおまけにそれは夜鷹・天狗だ」ということは成り立つ"が導かれる
3. 推論1から、推論2: "何かは出来難くておまけに夜鷹・天狗だ"が導かれる
4. 推論2と事実14から、推論3: "この核抑止は出所しない"が導かれる
5. 事実1から、推論4: "その勝利至上主義は出所する"が導かれる
6. 事実4と推論4から、推論5: "この神産巣日御親尊は出所する"が導かれる
7. 推論5と事実11から、推論6: "この核抑止は出所する"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "その関係上は出来難いということはない"が導かれる
10. 事実9から、推論9: "その関係上が出来難くないとするとそれは生じ易くない"が導かれる
11. 推論8と推論9から、推論10: "その関係上は生じ易くない"が導かれる
12. 推論10と事実10から、推論11: "この御雑煮は浸るけれどそれは一体化出来ない"が導かれる
13. 推論11と事実18から、仮説が否定される

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