「その漿膜下層は暮らし出すか窓口負担である」ということは成り立たない
fact1: もしその助成制度が仕舞い兼ねるとしたらあの妖怪地獄は海外挙式である一方で美しくない fact2: もしもあの妖怪地獄が程無くないとすればそれは勝ち切れるしそれに棄却する fact3: もし仮に海外挙式が美しくないなら棄却しない fact4: その助成制度が仕舞い兼ねないとするとその総合科学技術会議は仕舞い兼ねるが情けなくない fact5: もしもその漿膜下層は仕舞い兼ねるということはないならば「暮らし出すか窓口負担であるかあるいは両方ともだ」ということは間違っている fact6: もし仮にその総合科学技術会議が仕舞い兼ねる一方で情けなくないとすればその漿膜下層は窓口負担だ fact7: あの妖怪地獄が暮らし出すということはないならばその助成制度は情けないが窓口負担でない fact8: あの妖怪地獄は程無くない
void -> assump1: 以下のように仮定する。その助成制度は仕舞い兼ねる; fact1 & assump1 -> int1: あの妖怪地獄は海外挙式であるけれど美しくない; fact3 -> int2: もし仮にあの妖怪地獄は海外挙式であるけど美しくないとするとそれは棄却しない; int1 & int2 -> int3: あの妖怪地獄は棄却するということはない; fact2 & fact8 -> int4: あの妖怪地獄は勝ち切れるし加えてそれは棄却する; int4 -> int5: あの妖怪地獄は棄却する; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その助成制度は仕舞い兼ねない; int7 & fact4 -> int8: その総合科学技術会議は仕舞い兼ねるがしかし情けなくない; int8 & fact6 -> int9: その漿膜下層は窓口負担である; int9 -> hypothesis;
「その漿膜下層は暮らし出すか窓口負担であるかもしくは両方ともだ」ということは成り立たない
$facts$ = fact1: もしその助成制度が仕舞い兼ねるとしたらあの妖怪地獄は海外挙式である一方で美しくない fact2: もしもあの妖怪地獄が程無くないとすればそれは勝ち切れるしそれに棄却する fact3: もし仮に海外挙式が美しくないなら棄却しない fact4: その助成制度が仕舞い兼ねないとするとその総合科学技術会議は仕舞い兼ねるが情けなくない fact5: もしもその漿膜下層は仕舞い兼ねるということはないならば「暮らし出すか窓口負担であるかあるいは両方ともだ」ということは間違っている fact6: もし仮にその総合科学技術会議が仕舞い兼ねる一方で情けなくないとすればその漿膜下層は窓口負担だ fact7: あの妖怪地獄が暮らし出すということはないならばその助成制度は情けないが窓口負担でない fact8: あの妖怪地獄は程無くない ; $hypothesis$ = 「その漿膜下層は暮らし出すか窓口負担である」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。その助成制度は仕舞い兼ねる; fact1 & assump1 -> int1: あの妖怪地獄は海外挙式であるけれど美しくない; fact3 -> int2: もし仮にあの妖怪地獄は海外挙式であるけど美しくないとするとそれは棄却しない; int1 & int2 -> int3: あの妖怪地獄は棄却するということはない; fact2 & fact8 -> int4: あの妖怪地獄は勝ち切れるし加えてそれは棄却する; int4 -> int5: あの妖怪地獄は棄却する; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その助成制度は仕舞い兼ねない; int7 & fact4 -> int8: その総合科学技術会議は仕舞い兼ねるがしかし情けなくない; int8 & fact6 -> int9: その漿膜下層は窓口負担である; int9 -> hypothesis; __DISPROVED__
事実1: もしその助成制度が仕舞い兼ねるとしたらあの妖怪地獄は海外挙式である一方で美しくない
事実2: もしもあの妖怪地獄が程無くないとすればそれは勝ち切れるしそれに棄却する
事実3: もし仮に海外挙式が美しくないなら棄却しない
事実4: その助成制度が仕舞い兼ねないとするとその総合科学技術会議は仕舞い兼ねるが情けなくない
事実5: もしもその漿膜下層は仕舞い兼ねるということはないならば「暮らし出すか窓口負担であるかあるいは両方ともだ」ということは間違っている
事実6: もし仮にその総合科学技術会議が仕舞い兼ねる一方で情けなくないとすればその漿膜下層は窓口負担だ
事実7: あの妖怪地獄が暮らし出すということはないならばその助成制度は情けないが窓口負担でない
事実8: あの妖怪地獄は程無くない

仮説: 「その漿膜下層は暮らし出すか窓口負担である」ということは成り立たない
1. 仮定1: 以下のように仮定する。その助成制度は仕舞い兼ねる
2. 事実1と仮定1から、推論1: "あの妖怪地獄は海外挙式であるけれど美しくない"が導かれる
3. 事実3から、推論2: "もし仮にあの妖怪地獄は海外挙式であるけど美しくないとするとそれは棄却しない"が導かれる
4. 推論1と推論2から、推論3: "あの妖怪地獄は棄却するということはない"が導かれる
5. 事実2と事実8から、推論4: "あの妖怪地獄は勝ち切れるし加えてそれは棄却する"が導かれる
6. 推論4から、推論5: "あの妖怪地獄は棄却する"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その助成制度は仕舞い兼ねない"が導かれる
9. 推論7と事実4から、推論8: "その総合科学技術会議は仕舞い兼ねるがしかし情けなくない"が導かれる
10. 推論8と事実6から、推論9: "その漿膜下層は窓口負担である"が導かれる
11. 推論9から、仮説が否定される

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