あの熱射病はさり気無くない
fact1: もしも「「ケモカインでなくて取れ難い」ということは成り立つということはない」ものがあるとするとあの熱射病はケモカインだ fact2: もし仮になにがしかの物は論著でないなら暫定政府でない fact3: 「あの台が最もらしくないが暫定政府であるならあの熱射病はさり気無い」ということは成り立つ fact4: その一絵柄は論著であるかあるいは取れ難いかどちらもである fact5: もし仮にあの熱射病がさり気無いとすれば論著だ fact6: もしなにがしかの物は論著であるとすれば「それは返金する」ということは成り立つ fact7: その変質が最もらしくないとしたらあの台は最もらしくないけれど暫定政府である fact8: もしその変質は長距離夜行バスだとすると「それはケモカインでなくてそれは取れ難い」ということは成り立つということはない fact9: その一絵柄は最もらしい fact10: 仮にその変質がさり気無くないならばその営業範囲はさり気無くない fact11: 「その変質は長距離夜行バスである」ということは成り立つ fact12: その一絵柄が取れ難いということはないとしたらあの台は取れ難いということはない一方でそれは最もらしい fact13: もしなにかは暫定政府でないならば「最もらしくないがしかし返金する」ということは間違っている fact14: あの台は暫定政府だ fact15: もしその変質がケモカインだしまた最もらしいならばあの一絵柄は返金しない fact16: 仮にあるものが取れ難いならば返金する fact17: その変質はケモカインであるし更に増え難い fact18: 「その変質は増え難い」ということは成り立つ fact19: その変質はさり気無い fact20: もしも「あるものは最もらしいということはないけれど返金する」ということは確かでないとするとそれは増え難い
fact17 -> int1: その変質はケモカインである; void -> assump1: 以下のように仮定する。その変質は最もらしい; int1 & assump1 -> int2: その変質はケモカインであるし最もらしい; int2 & fact15 -> int3: その一絵柄は返金しない; fact6 -> int4: もし仮にその一絵柄が論著なら返金する; fact16 -> int5: その一絵柄が取れ難いならそれは返金する; fact4 & int4 & int5 -> int6: その一絵柄は返金する; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その変質は最もらしくない; int8 & fact7 -> int9: あの台は最もらしくないけれどそれは暫定政府だ; int9 & fact3 -> hypothesis;
あの熱射病はさり気無くない
fact25 & fact22 -> int10: 「「その変質はケモカインでないけどそれは取れ難い」ということは成り立つ」ということは成り立たない; int10 -> int11: 「「ケモカインでない一方で取れ難い」ということは成り立たない」ものはある; int11 & fact21 -> int12: あの熱射病はケモカインだ; fact26 -> int13: もし仮に「あの熱射病は最もらしくないけれど返金する」ということは成り立つということはないならばそれは増え難い; fact24 -> int14: もしあの熱射病は暫定政府でないとすると「最もらしくない一方で返金する」ということは間違いである; fact23 -> int15: もしもあの熱射病は論著でないならばそれは暫定政府だということはない;
$facts$ = fact1: もしも「「ケモカインでなくて取れ難い」ということは成り立つということはない」ものがあるとするとあの熱射病はケモカインだ fact2: もし仮になにがしかの物は論著でないなら暫定政府でない fact3: 「あの台が最もらしくないが暫定政府であるならあの熱射病はさり気無い」ということは成り立つ fact4: その一絵柄は論著であるかあるいは取れ難いかどちらもである fact5: もし仮にあの熱射病がさり気無いとすれば論著だ fact6: もしなにがしかの物は論著であるとすれば「それは返金する」ということは成り立つ fact7: その変質が最もらしくないとしたらあの台は最もらしくないけれど暫定政府である fact8: もしその変質は長距離夜行バスだとすると「それはケモカインでなくてそれは取れ難い」ということは成り立つということはない fact9: その一絵柄は最もらしい fact10: 仮にその変質がさり気無くないならばその営業範囲はさり気無くない fact11: 「その変質は長距離夜行バスである」ということは成り立つ fact12: その一絵柄が取れ難いということはないとしたらあの台は取れ難いということはない一方でそれは最もらしい fact13: もしなにかは暫定政府でないならば「最もらしくないがしかし返金する」ということは間違っている fact14: あの台は暫定政府だ fact15: もしその変質がケモカインだしまた最もらしいならばあの一絵柄は返金しない fact16: 仮にあるものが取れ難いならば返金する fact17: その変質はケモカインであるし更に増え難い fact18: 「その変質は増え難い」ということは成り立つ fact19: その変質はさり気無い fact20: もしも「あるものは最もらしいということはないけれど返金する」ということは確かでないとするとそれは増え難い ; $hypothesis$ = あの熱射病はさり気無くない ; $proof$ = 
fact17 -> int1: その変質はケモカインである; void -> assump1: 以下のように仮定する。その変質は最もらしい; int1 & assump1 -> int2: その変質はケモカインであるし最もらしい; int2 & fact15 -> int3: その一絵柄は返金しない; fact6 -> int4: もし仮にその一絵柄が論著なら返金する; fact16 -> int5: その一絵柄が取れ難いならそれは返金する; fact4 & int4 & int5 -> int6: その一絵柄は返金する; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その変質は最もらしくない; int8 & fact7 -> int9: あの台は最もらしくないけれどそれは暫定政府だ; int9 & fact3 -> hypothesis; __DISPROVED__
事実1: もしも「「ケモカインでなくて取れ難い」ということは成り立つということはない」ものがあるとするとあの熱射病はケモカインだ
事実2: もし仮になにがしかの物は論著でないなら暫定政府でない
事実3: 「あの台が最もらしくないが暫定政府であるならあの熱射病はさり気無い」ということは成り立つ
事実4: その一絵柄は論著であるかあるいは取れ難いかどちらもである
事実5: もし仮にあの熱射病がさり気無いとすれば論著だ
事実6: もしなにがしかの物は論著であるとすれば「それは返金する」ということは成り立つ
事実7: その変質が最もらしくないとしたらあの台は最もらしくないけれど暫定政府である
事実8: もしその変質は長距離夜行バスだとすると「それはケモカインでなくてそれは取れ難い」ということは成り立つということはない
事実9: その一絵柄は最もらしい
事実10: 仮にその変質がさり気無くないならばその営業範囲はさり気無くない
事実11: 「その変質は長距離夜行バスである」ということは成り立つ
事実12: その一絵柄が取れ難いということはないとしたらあの台は取れ難いということはない一方でそれは最もらしい
事実13: もしなにかは暫定政府でないならば「最もらしくないがしかし返金する」ということは間違っている
事実14: あの台は暫定政府だ
事実15: もしその変質がケモカインだしまた最もらしいならばあの一絵柄は返金しない
事実16: 仮にあるものが取れ難いならば返金する
事実17: その変質はケモカインであるし更に増え難い
事実18: 「その変質は増え難い」ということは成り立つ
事実19: その変質はさり気無い
事実20: もしも「あるものは最もらしいということはないけれど返金する」ということは確かでないとするとそれは増え難い

仮説: あの熱射病はさり気無くない
1. 事実17から、推論1: "その変質はケモカインである"が導かれる
2. 仮定1: 以下のように仮定する。その変質は最もらしい
3. 推論1と仮定1から、推論2: "その変質はケモカインであるし最もらしい"が導かれる
4. 推論2と事実15から、推論3: "その一絵柄は返金しない"が導かれる
5. 事実6から、推論4: "もし仮にその一絵柄が論著なら返金する"が導かれる
6. 事実16から、推論5: "その一絵柄が取れ難いならそれは返金する"が導かれる
7. 事実4と推論4と推論5から、推論6: "その一絵柄は返金する"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "その変質は最もらしくない"が導かれる
10. 推論8と事実7から、推論9: "あの台は最もらしくないけれどそれは暫定政府だ"が導かれる
11. 推論9と事実3から、仮説が否定される

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