「あるものは辛みソースでその上ポンである」ということは成り立たない
fact1: この後方支援は土日だ fact2: 「辛みソースな」ものはある fact3: もしもあの仏神は集団合議制でないならば「この後方支援は辛みソースである」ということは確かである fact4: あの仏神は当該公共交通事業者等であるかもしくは集団合議制でないかまたはどちらもである fact5: もし「あの抗菌効果は辛みソースだし更に洋風化する」ということは本当であるということはないとするとこの後方支援は辛みソースでない fact6: この後方支援は土日であるしそれに集団合議制である fact7: 「辛みソースでその上当該公共交通事業者等な」ものはある fact8: あの地域計画は歴史認識であるかまたは道路工事であるかまたはどちらもである fact9: もしあの仏神が当該公共交通事業者等であるか集団合議制だということはないとするとこの後方支援は辛みソースだ fact10: もし仮にあの仏神がポンであるかまたは集団合議制であるということはないか両方であるならこの後方支援は土日である fact11: この後方支援はポンであるし更に土日である fact12: 何らかのものはポンだ
fact9 & fact4 -> int1: この後方支援は辛みソースである; fact11 -> int2: この後方支援はポンである; int1 & int2 -> int3: この後方支援は辛みソースだしまたポンだ; int3 -> hypothesis;
あの仏神は黒しし慨嘆する
$facts$ = fact1: この後方支援は土日だ fact2: 「辛みソースな」ものはある fact3: もしもあの仏神は集団合議制でないならば「この後方支援は辛みソースである」ということは確かである fact4: あの仏神は当該公共交通事業者等であるかもしくは集団合議制でないかまたはどちらもである fact5: もし「あの抗菌効果は辛みソースだし更に洋風化する」ということは本当であるということはないとするとこの後方支援は辛みソースでない fact6: この後方支援は土日であるしそれに集団合議制である fact7: 「辛みソースでその上当該公共交通事業者等な」ものはある fact8: あの地域計画は歴史認識であるかまたは道路工事であるかまたはどちらもである fact9: もしあの仏神が当該公共交通事業者等であるか集団合議制だということはないとするとこの後方支援は辛みソースだ fact10: もし仮にあの仏神がポンであるかまたは集団合議制であるということはないか両方であるならこの後方支援は土日である fact11: この後方支援はポンであるし更に土日である fact12: 何らかのものはポンだ ; $hypothesis$ = 「あるものは辛みソースでその上ポンである」ということは成り立たない ; $proof$ = 
fact9 & fact4 -> int1: この後方支援は辛みソースである; fact11 -> int2: この後方支援はポンである; int1 & int2 -> int3: この後方支援は辛みソースだしまたポンだ; int3 -> hypothesis; __DISPROVED__
事実1: この後方支援は土日だ
事実2: 「辛みソースな」ものはある
事実3: もしもあの仏神は集団合議制でないならば「この後方支援は辛みソースである」ということは確かである
事実4: あの仏神は当該公共交通事業者等であるかもしくは集団合議制でないかまたはどちらもである
事実5: もし「あの抗菌効果は辛みソースだし更に洋風化する」ということは本当であるということはないとするとこの後方支援は辛みソースでない
事実6: この後方支援は土日であるしそれに集団合議制である
事実7: 「辛みソースでその上当該公共交通事業者等な」ものはある
事実8: あの地域計画は歴史認識であるかまたは道路工事であるかまたはどちらもである
事実9: もしあの仏神が当該公共交通事業者等であるか集団合議制だということはないとするとこの後方支援は辛みソースだ
事実10: もし仮にあの仏神がポンであるかまたは集団合議制であるということはないか両方であるならこの後方支援は土日である
事実11: この後方支援はポンであるし更に土日である
事実12: 何らかのものはポンだ

仮説: 「あるものは辛みソースでその上ポンである」ということは成り立たない
1. 事実9と事実4から、推論1: "この後方支援は辛みソースである"が導かれる
2. 事実11から、推論2: "この後方支援はポンである"が導かれる
3. 推論1と推論2から、推論3: "この後方支援は辛みソースだしまたポンだ"が導かれる
4. 推論3から、仮説が否定される

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