その小刀は秘密組織でない
fact1: もし仮にその小刀が程無いとしたらこのエッジシティは秘密組織だ fact2: もし仮になんらかのものがランタナであるならばその消毒用エタノールは罹患し易くて御命じ下さる fact3: もし仮にとあるものが逃れ難くないとしたら秘密組織だということはない一方で馬鹿でかい fact4: 仮に「このギムレットは燃え易くないけど毛虫である」ということは成り立たないとするとあの国境警備は燃え易いということはない fact5: もしも「あの国境警備は燃え易いということはない」ということは確かであるならば「このエッジシティはジャッジメントであるしまた程無い」ということは成り立たない fact6: 何らかのものが感慨深いということはないとしたらそれは早しないがしかし忌まわしい fact7: もしも早しないものが忌まわしいならばランタナだ fact8: 仮にあのサラ系が凛々しいとしたらこのギムレットは手っ取り早い fact9: このエッジシティは秘密組織である fact10: 「その消毒用エタノールはジャケット姿だ」ということは本当だ fact11: もし「「このエッジシティはジャッジメントであるしそれは程無い」ということは間違っている」ということは確かであるとするとその消毒用エタノールは程無くない fact12: 「あのサラ系は凛々しい」ということは成り立つ fact13: その消毒用エタノールは馬鹿でかくないがしかし逃れ難い fact14: その小刀がランタナだが罹患し易くないならこのエッジシティは罹患し易い fact15: もしなんらかの物は手っ取り早いとすれば「燃え易くないが毛虫である」ということは間違いだ fact16: このエッジシティが程無いとすればその小刀は秘密組織だ fact17: もしこのエッジシティは罹患し易いなら「それは御命じ下さらなくてそれは秘密組織であるということはない」ということは真実でない fact18: もし仮にその消毒用エタノールが逃れ難いとすればこのエッジシティは程無い fact19: もし仮にその消毒用エタノールが程無いとするとこのエッジシティは逃れ難い fact20: その小刀はさ迷い出さない一方でそれは濡らす fact21: すべての物は感慨深いということはない
fact13 -> int1: その消毒用エタノールは逃れ難い; int1 & fact18 -> int2: このエッジシティは程無い; int2 & fact16 -> hypothesis;
その小刀は秘密組織でない
fact25 -> int3: もし仮にその小刀が逃れ難いということはないならそれは秘密組織でなくてまたそれは馬鹿でかい; fact27 & fact32 -> int4: このギムレットは手っ取り早い; fact29 -> int5: このギムレットは手っ取り早いとすると「燃え易いということはないがしかし毛虫だ」ということは成り立たない; int4 & int5 -> int6: 「このギムレットは燃え易くない一方で毛虫だ」ということは成り立たない; int6 & fact28 -> int7: あの国境警備は燃え易くない; fact31 & int7 -> int8: 「「このエッジシティはジャッジメントであるし加えて程無い」ということは間違いだ」ということは正しい; int8 & fact23 -> int9: その消毒用エタノールは程無くない; fact30 -> int10: もし「この周防灘は感慨深くない」ということは誤っていないならばそれは早しということはないけれど忌まわしい; fact22 -> int11: この周防灘は感慨深くない; int10 & int11 -> int12: この周防灘は早しないが忌まわしい; int12 -> int13: 「全てのものは早しないしそれは忌まわしい」ということは本当である; int13 -> int14: あの川岸段丘上は早しということはないが忌まわしい; fact26 -> int15: 仮にあの川岸段丘上が早しない一方でそれが忌まわしいならそれはランタナだ; int14 & int15 -> int16: あの川岸段丘上はランタナだ; int16 -> int17: 何かはランタナである; fact24 & int17 -> int18: その消毒用エタノールは罹患し易いしまた御命じ下さる; int18 -> int19: その消毒用エタノールは御命じ下さる; int9 & int19 -> int20: その消毒用エタノールは御命じ下さるがしかし程無くない;
$facts$ = fact1: もし仮にその小刀が程無いとしたらこのエッジシティは秘密組織だ fact2: もし仮になんらかのものがランタナであるならばその消毒用エタノールは罹患し易くて御命じ下さる fact3: もし仮にとあるものが逃れ難くないとしたら秘密組織だということはない一方で馬鹿でかい fact4: 仮に「このギムレットは燃え易くないけど毛虫である」ということは成り立たないとするとあの国境警備は燃え易いということはない fact5: もしも「あの国境警備は燃え易いということはない」ということは確かであるならば「このエッジシティはジャッジメントであるしまた程無い」ということは成り立たない fact6: 何らかのものが感慨深いということはないとしたらそれは早しないがしかし忌まわしい fact7: もしも早しないものが忌まわしいならばランタナだ fact8: 仮にあのサラ系が凛々しいとしたらこのギムレットは手っ取り早い fact9: このエッジシティは秘密組織である fact10: 「その消毒用エタノールはジャケット姿だ」ということは本当だ fact11: もし「「このエッジシティはジャッジメントであるしそれは程無い」ということは間違っている」ということは確かであるとするとその消毒用エタノールは程無くない fact12: 「あのサラ系は凛々しい」ということは成り立つ fact13: その消毒用エタノールは馬鹿でかくないがしかし逃れ難い fact14: その小刀がランタナだが罹患し易くないならこのエッジシティは罹患し易い fact15: もしなんらかの物は手っ取り早いとすれば「燃え易くないが毛虫である」ということは間違いだ fact16: このエッジシティが程無いとすればその小刀は秘密組織だ fact17: もしこのエッジシティは罹患し易いなら「それは御命じ下さらなくてそれは秘密組織であるということはない」ということは真実でない fact18: もし仮にその消毒用エタノールが逃れ難いとすればこのエッジシティは程無い fact19: もし仮にその消毒用エタノールが程無いとするとこのエッジシティは逃れ難い fact20: その小刀はさ迷い出さない一方でそれは濡らす fact21: すべての物は感慨深いということはない ; $hypothesis$ = その小刀は秘密組織でない ; $proof$ = 
fact13 -> int1: その消毒用エタノールは逃れ難い; int1 & fact18 -> int2: このエッジシティは程無い; int2 & fact16 -> hypothesis; __DISPROVED__
事実1: もし仮にその小刀が程無いとしたらこのエッジシティは秘密組織だ
事実2: もし仮になんらかのものがランタナであるならばその消毒用エタノールは罹患し易くて御命じ下さる
事実3: もし仮にとあるものが逃れ難くないとしたら秘密組織だということはない一方で馬鹿でかい
事実4: 仮に「このギムレットは燃え易くないけど毛虫である」ということは成り立たないとするとあの国境警備は燃え易いということはない
事実5: もしも「あの国境警備は燃え易いということはない」ということは確かであるならば「このエッジシティはジャッジメントであるしまた程無い」ということは成り立たない
事実6: 何らかのものが感慨深いということはないとしたらそれは早しないがしかし忌まわしい
事実7: もしも早しないものが忌まわしいならばランタナだ
事実8: 仮にあのサラ系が凛々しいとしたらこのギムレットは手っ取り早い
事実9: このエッジシティは秘密組織である
事実10: 「その消毒用エタノールはジャケット姿だ」ということは本当だ
事実11: もし「「このエッジシティはジャッジメントであるしそれは程無い」ということは間違っている」ということは確かであるとするとその消毒用エタノールは程無くない
事実12: 「あのサラ系は凛々しい」ということは成り立つ
事実13: その消毒用エタノールは馬鹿でかくないがしかし逃れ難い
事実14: その小刀がランタナだが罹患し易くないならこのエッジシティは罹患し易い
事実15: もしなんらかの物は手っ取り早いとすれば「燃え易くないが毛虫である」ということは間違いだ
事実16: このエッジシティが程無いとすればその小刀は秘密組織だ
事実17: もしこのエッジシティは罹患し易いなら「それは御命じ下さらなくてそれは秘密組織であるということはない」ということは真実でない
事実18: もし仮にその消毒用エタノールが逃れ難いとすればこのエッジシティは程無い
事実19: もし仮にその消毒用エタノールが程無いとするとこのエッジシティは逃れ難い
事実20: その小刀はさ迷い出さない一方でそれは濡らす
事実21: すべての物は感慨深いということはない

仮説: その小刀は秘密組織でない
1. 事実13から、推論1: "その消毒用エタノールは逃れ難い"が導かれる
2. 推論1と事実18から、推論2: "このエッジシティは程無い"が導かれる
3. 推論2と事実16から、仮説が否定される

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