その債券市場は乾杯するということはない
fact1: この生き辛さがねちっこいとしたらその中毒は天狗らしくないがねちっこい fact2: もし「とある物は身分行為であるということはないけど血管造影だ」ということは成り立つということはないとすれば「それはねちっこい」ということは成り立つ fact3: 天狗らしくないものでありかつねちっこいものがあるならその債券市場は乾杯する fact4: 「この生き辛さは身分行為でないがそれは血管造影だ」ということは成り立たない
fact2 -> int1: もしも「この生き辛さは身分行為でないけれど血管造影である」ということは誤っているとすれば「それはねちっこい」ということは正しい; int1 & fact4 -> int2: この生き辛さはねちっこい; int2 & fact1 -> int3: その中毒は天狗らしいということはないがしかしねちっこい; int3 -> int4: なにがしかの物は天狗らしくない一方でそれはねちっこい; int4 & fact3 -> hypothesis;
$facts$ = fact1: この生き辛さがねちっこいとしたらその中毒は天狗らしくないがねちっこい fact2: もし「とある物は身分行為であるということはないけど血管造影だ」ということは成り立つということはないとすれば「それはねちっこい」ということは成り立つ fact3: 天狗らしくないものでありかつねちっこいものがあるならその債券市場は乾杯する fact4: 「この生き辛さは身分行為でないがそれは血管造影だ」ということは成り立たない ; $hypothesis$ = その債券市場は乾杯するということはない ; $proof$ = 
fact2 -> int1: もしも「この生き辛さは身分行為でないけれど血管造影である」ということは誤っているとすれば「それはねちっこい」ということは正しい; int1 & fact4 -> int2: この生き辛さはねちっこい; int2 & fact1 -> int3: その中毒は天狗らしいということはないがしかしねちっこい; int3 -> int4: なにがしかの物は天狗らしくない一方でそれはねちっこい; int4 & fact3 -> hypothesis; __DISPROVED__
事実1: この生き辛さがねちっこいとしたらその中毒は天狗らしくないがねちっこい
事実2: もし「とある物は身分行為であるということはないけど血管造影だ」ということは成り立つということはないとすれば「それはねちっこい」ということは成り立つ
事実3: 天狗らしくないものでありかつねちっこいものがあるならその債券市場は乾杯する
事実4: 「この生き辛さは身分行為でないがそれは血管造影だ」ということは成り立たない

仮説: その債券市場は乾杯するということはない
1. 事実2から、推論1: "もしも「この生き辛さは身分行為でないけれど血管造影である」ということは誤っているとすれば「それはねちっこい」ということは正しい"が導かれる
2. 推論1と事実4から、推論2: "この生き辛さはねちっこい"が導かれる
3. 推論2と事実1から、推論3: "その中毒は天狗らしいということはないがしかしねちっこい"が導かれる
4. 推論3から、推論4: "なにがしかの物は天狗らしくない一方でそれはねちっこい"が導かれる
5. 推論4と事実3から、仮説が否定される

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