「その近代以前は座金でないが帰着である」ということは成り立たない
fact1: もしも「あの秘密協議は志島古墳群であるということはないが帰着だ」ということは誤りであるなら「その近代以前は座金だ」ということは成り立つ fact2: もし仮に「その近代以前は座金でないけれどそれは帰着だ」ということは成り立たないならそのキーセンテンス方式は歴史像である fact3: その総括表は帰着だ fact4: 仮にあの秘密協議が御寄せ頂けば溶かし込まない fact5: 何らかの物は御寄せ頂くかまたは志島古墳群であるかあるいは両方であるならば溶かし込まない fact6: そのキーセンテンス方式が歴史像であるとすればあの秘密協議は志島古墳群である fact7: その近代以前は細い fact8: もし仮にとある物が御寄せ頂くなら溶かし込まない fact9: 仮にその近代以前は座金だとすると「そのキーセンテンス方式は歴史像である」ということは確かだ fact10: もしも「その近代以前は御寄せ頂くということはないがそれは帰着である」ということは成り立たないならあの秘密協議は溶かし込む fact11: その近代以前が歴史像でないとしたらそのキーセンテンス方式は座金だ fact12: あの米国内は溶かし込む fact13: 仮に何かは志島古墳群ならばそれは座金だ fact14: 「その近代以前は溶かし込む」ということは確かだ fact15: もしもその近代以前は御寄せ頂くかまたは歴史像であるとすればそれは座金でない fact16: あの秘密協議は溶かし込む fact17: もしもその近代以前が志島古墳群であるかあるいは食物繊維であるかあるいはどちらもであるとするとそれはひもじくない
void -> assump1: 以下のように仮定する。「その近代以前は座金であるということはない一方で帰着だ」ということは成り立つということはない; fact2 & assump1 -> int1: そのキーセンテンス方式は歴史像である; int1 & fact6 -> int2: あの秘密協議は志島古墳群だ; int2 -> int3: あの秘密協議は御寄せ頂くかもしくはそれは志島古墳群である; fact5 -> int4: もしもあの秘密協議は御寄せ頂くかまたは志島古墳群だとすれば「溶かし込まない」ということは確かだ; int3 & int4 -> int5: 「あの秘密協議は溶かし込まない」ということは確かだ; int5 & fact16 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
そのキーセンテンス方式は座金であるかもしくは青さであるかまたは両方ともだ
fact18 -> int7: もし仮にそのキーセンテンス方式は志島古墳群であるとすると「座金だ」ということは成り立つ;
$facts$ = fact1: もしも「あの秘密協議は志島古墳群であるということはないが帰着だ」ということは誤りであるなら「その近代以前は座金だ」ということは成り立つ fact2: もし仮に「その近代以前は座金でないけれどそれは帰着だ」ということは成り立たないならそのキーセンテンス方式は歴史像である fact3: その総括表は帰着だ fact4: 仮にあの秘密協議が御寄せ頂けば溶かし込まない fact5: 何らかの物は御寄せ頂くかまたは志島古墳群であるかあるいは両方であるならば溶かし込まない fact6: そのキーセンテンス方式が歴史像であるとすればあの秘密協議は志島古墳群である fact7: その近代以前は細い fact8: もし仮にとある物が御寄せ頂くなら溶かし込まない fact9: 仮にその近代以前は座金だとすると「そのキーセンテンス方式は歴史像である」ということは確かだ fact10: もしも「その近代以前は御寄せ頂くということはないがそれは帰着である」ということは成り立たないならあの秘密協議は溶かし込む fact11: その近代以前が歴史像でないとしたらそのキーセンテンス方式は座金だ fact12: あの米国内は溶かし込む fact13: 仮に何かは志島古墳群ならばそれは座金だ fact14: 「その近代以前は溶かし込む」ということは確かだ fact15: もしもその近代以前は御寄せ頂くかまたは歴史像であるとすればそれは座金でない fact16: あの秘密協議は溶かし込む fact17: もしもその近代以前が志島古墳群であるかあるいは食物繊維であるかあるいはどちらもであるとするとそれはひもじくない ; $hypothesis$ = 「その近代以前は座金でないが帰着である」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その近代以前は座金であるということはない一方で帰着だ」ということは成り立つということはない; fact2 & assump1 -> int1: そのキーセンテンス方式は歴史像である; int1 & fact6 -> int2: あの秘密協議は志島古墳群だ; int2 -> int3: あの秘密協議は御寄せ頂くかもしくはそれは志島古墳群である; fact5 -> int4: もしもあの秘密協議は御寄せ頂くかまたは志島古墳群だとすれば「溶かし込まない」ということは確かだ; int3 & int4 -> int5: 「あの秘密協議は溶かし込まない」ということは確かだ; int5 & fact16 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: もしも「あの秘密協議は志島古墳群であるということはないが帰着だ」ということは誤りであるなら「その近代以前は座金だ」ということは成り立つ
事実2: もし仮に「その近代以前は座金でないけれどそれは帰着だ」ということは成り立たないならそのキーセンテンス方式は歴史像である
事実3: その総括表は帰着だ
事実4: 仮にあの秘密協議が御寄せ頂けば溶かし込まない
事実5: 何らかの物は御寄せ頂くかまたは志島古墳群であるかあるいは両方であるならば溶かし込まない
事実6: そのキーセンテンス方式が歴史像であるとすればあの秘密協議は志島古墳群である
事実7: その近代以前は細い
事実8: もし仮にとある物が御寄せ頂くなら溶かし込まない
事実9: 仮にその近代以前は座金だとすると「そのキーセンテンス方式は歴史像である」ということは確かだ
事実10: もしも「その近代以前は御寄せ頂くということはないがそれは帰着である」ということは成り立たないならあの秘密協議は溶かし込む
事実11: その近代以前が歴史像でないとしたらそのキーセンテンス方式は座金だ
事実12: あの米国内は溶かし込む
事実13: 仮に何かは志島古墳群ならばそれは座金だ
事実14: 「その近代以前は溶かし込む」ということは確かだ
事実15: もしもその近代以前は御寄せ頂くかまたは歴史像であるとすればそれは座金でない
事実16: あの秘密協議は溶かし込む
事実17: もしもその近代以前が志島古墳群であるかあるいは食物繊維であるかあるいはどちらもであるとするとそれはひもじくない

仮説: 「その近代以前は座金でないが帰着である」ということは成り立たない
1. 仮定1: 以下のように仮定する。「その近代以前は座金であるということはない一方で帰着だ」ということは成り立つということはない
2. 事実2と仮定1から、推論1: "そのキーセンテンス方式は歴史像である"が導かれる
3. 推論1と事実6から、推論2: "あの秘密協議は志島古墳群だ"が導かれる
4. 推論2から、推論3: "あの秘密協議は御寄せ頂くかもしくはそれは志島古墳群である"が導かれる
5. 事実5から、推論4: "もしもあの秘密協議は御寄せ頂くかまたは志島古墳群だとすれば「溶かし込まない」ということは確かだ"が導かれる
6. 推論3と推論4から、推論5: "「あの秘密協議は溶かし込まない」ということは確かだ"が導かれる
7. 推論5と事実16から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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