「そのコミケは報道側でない」ということは成り立つ
fact1: もしもその要役が凭せ掛けないならばあの連結売り上げ高は取り下げるけれど商人らしいということはない fact2: その連結売り上げ高が報道側だとするとその要役は取り下げないし更に商人らしくない fact3: もし仮にその要役は唸らすということはないとすると「其れっぽくないし黄色っぽい」ということは成り立つということはない fact4: もしなにかは黄色っぽいとすると「それは初期化でないし御存ずる」ということは間違いである fact5: もし仮に「その要役は其れっぽくないがしかし黄色っぽい」ということは誤りであるなら凭せ掛けない fact6: もしも「凭せ掛ける」物があるとしたらその福祉機関は其れっぽいかあるいは唸らすかあるいは両方である fact7: もしその連結売り上げ高がハンカチ運動である一方で家でないとするとそれは取り下げない fact8: もし仮に「そのコミケは眺むない」ということは成り立てばそれは家であるしさらにハンカチ運動だ fact9: 仮にその福祉機関が其れっぽいとするとこの一人新聞は黄色っぽい fact10: もし何かは取り下げないとしたら「凭せ掛ける」ということは事実である fact11: もしも「その福祉機関は御存ぜないしそれは統率出来るということはない」ということは成り立つということはないとするとそのコミケは報道側である fact12: その連結売り上げ高はハンカチ運動だ一方で家でない fact13: 仮に「その要役は凭せ掛けない」ということは成り立つならばあの連結売り上げ高は商人らしくない fact14: その福祉機関が御存ぜなくて統率出来ないとすればあの要役は唸らさない fact15: 仮にそのコミケがハンカチ運動だとするとその連結売り上げ高は報道側である
void -> assump1: 以下のように仮定する。その福祉機関は御存ずるということはないし統率出来ない; fact14 & assump1 -> int1: その要役は唸らさない; int1 & fact3 -> int2: 「その要役は其れっぽくないけどそれは黄色っぽい」ということは事実と異なる; int2 & fact5 -> int3: その要役は凭せ掛けない; int3 & fact1 -> int4: その連結売り上げ高は取り下げる一方でそれは商人らしくない; int4 -> int5: その連結売り上げ高は取り下げる; fact12 & fact7 -> int6: その連結売り上げ高は取り下げるということはない; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「その福祉機関は御存ずるということはなくてしかも統率出来ない」ということは偽だ; int8 & fact11 -> hypothesis;
「この一人新聞は初期化でないけど御存ずる」ということは事実と異なる
fact21 -> int9: もしこの一人新聞は黄色っぽいとすれば「初期化だということはないしかつ御存ずる」ということは成り立たない; fact19 -> int10: その要役が取り下げるということはないとすると凭せ掛ける;
$facts$ = fact1: もしもその要役が凭せ掛けないならばあの連結売り上げ高は取り下げるけれど商人らしいということはない fact2: その連結売り上げ高が報道側だとするとその要役は取り下げないし更に商人らしくない fact3: もし仮にその要役は唸らすということはないとすると「其れっぽくないし黄色っぽい」ということは成り立つということはない fact4: もしなにかは黄色っぽいとすると「それは初期化でないし御存ずる」ということは間違いである fact5: もし仮に「その要役は其れっぽくないがしかし黄色っぽい」ということは誤りであるなら凭せ掛けない fact6: もしも「凭せ掛ける」物があるとしたらその福祉機関は其れっぽいかあるいは唸らすかあるいは両方である fact7: もしその連結売り上げ高がハンカチ運動である一方で家でないとするとそれは取り下げない fact8: もし仮に「そのコミケは眺むない」ということは成り立てばそれは家であるしさらにハンカチ運動だ fact9: 仮にその福祉機関が其れっぽいとするとこの一人新聞は黄色っぽい fact10: もし何かは取り下げないとしたら「凭せ掛ける」ということは事実である fact11: もしも「その福祉機関は御存ぜないしそれは統率出来るということはない」ということは成り立つということはないとするとそのコミケは報道側である fact12: その連結売り上げ高はハンカチ運動だ一方で家でない fact13: 仮に「その要役は凭せ掛けない」ということは成り立つならばあの連結売り上げ高は商人らしくない fact14: その福祉機関が御存ぜなくて統率出来ないとすればあの要役は唸らさない fact15: 仮にそのコミケがハンカチ運動だとするとその連結売り上げ高は報道側である ; $hypothesis$ = 「そのコミケは報道側でない」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。その福祉機関は御存ずるということはないし統率出来ない; fact14 & assump1 -> int1: その要役は唸らさない; int1 & fact3 -> int2: 「その要役は其れっぽくないけどそれは黄色っぽい」ということは事実と異なる; int2 & fact5 -> int3: その要役は凭せ掛けない; int3 & fact1 -> int4: その連結売り上げ高は取り下げる一方でそれは商人らしくない; int4 -> int5: その連結売り上げ高は取り下げる; fact12 & fact7 -> int6: その連結売り上げ高は取り下げるということはない; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「その福祉機関は御存ずるということはなくてしかも統率出来ない」ということは偽だ; int8 & fact11 -> hypothesis; __DISPROVED__
事実1: もしもその要役が凭せ掛けないならばあの連結売り上げ高は取り下げるけれど商人らしいということはない
事実2: その連結売り上げ高が報道側だとするとその要役は取り下げないし更に商人らしくない
事実3: もし仮にその要役は唸らすということはないとすると「其れっぽくないし黄色っぽい」ということは成り立つということはない
事実4: もしなにかは黄色っぽいとすると「それは初期化でないし御存ずる」ということは間違いである
事実5: もし仮に「その要役は其れっぽくないがしかし黄色っぽい」ということは誤りであるなら凭せ掛けない
事実6: もしも「凭せ掛ける」物があるとしたらその福祉機関は其れっぽいかあるいは唸らすかあるいは両方である
事実7: もしその連結売り上げ高がハンカチ運動である一方で家でないとするとそれは取り下げない
事実8: もし仮に「そのコミケは眺むない」ということは成り立てばそれは家であるしさらにハンカチ運動だ
事実9: 仮にその福祉機関が其れっぽいとするとこの一人新聞は黄色っぽい
事実10: もし何かは取り下げないとしたら「凭せ掛ける」ということは事実である
事実11: もしも「その福祉機関は御存ぜないしそれは統率出来るということはない」ということは成り立つということはないとするとそのコミケは報道側である
事実12: その連結売り上げ高はハンカチ運動だ一方で家でない
事実13: 仮に「その要役は凭せ掛けない」ということは成り立つならばあの連結売り上げ高は商人らしくない
事実14: その福祉機関が御存ぜなくて統率出来ないとすればあの要役は唸らさない
事実15: 仮にそのコミケがハンカチ運動だとするとその連結売り上げ高は報道側である

仮説: 「そのコミケは報道側でない」ということは成り立つ
1. 仮定1: 以下のように仮定する。その福祉機関は御存ずるということはないし統率出来ない
2. 事実14と仮定1から、推論1: "その要役は唸らさない"が導かれる
3. 推論1と事実3から、推論2: "「その要役は其れっぽくないけどそれは黄色っぽい」ということは事実と異なる"が導かれる
4. 推論2と事実5から、推論3: "その要役は凭せ掛けない"が導かれる
5. 推論3と事実1から、推論4: "その連結売り上げ高は取り下げる一方でそれは商人らしくない"が導かれる
6. 推論4から、推論5: "その連結売り上げ高は取り下げる"が導かれる
7. 事実12と事実7から、推論6: "その連結売り上げ高は取り下げるということはない"が導かれる
8. 推論5と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "「その福祉機関は御存ずるということはなくてしかも統率出来ない」ということは偽だ"が導かれる
10. 推論8と事実11から、仮説が否定される

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