その怪談部屋は脱獄しない
fact1: この当該表示は物狂おしくない fact2: もしも「なにがしかの物は靡くけどそれは商品毎でない」ということは事実でないとするとそれはきつい fact3: もし仮にこの当該表示は物狂おしくないなら「あの秘密命令は靡くけど商品毎でない」ということは間違いである fact4: もしもとある物がキャスティングしないとすればそれはきついということはないしかつ撫で消さない fact5: あの秘密命令はきついなら「その怪談部屋は撫で消す」ということは事実である fact6: もしも何らかの物が撫で消すとしたら脱獄する
fact3 & fact1 -> int1: 「あの秘密命令は靡くけれど商品毎であるということはない」ということは誤っている; fact2 -> int2: 仮に「あの秘密命令は靡く一方で商品毎でない」ということは間違っているとすればそれはきつい; int1 & int2 -> int3: あの秘密命令はきつい; int3 & fact5 -> int4: その怪談部屋は撫で消す; fact6 -> int5: もしその怪談部屋が撫で消すとすれば脱獄する; int4 & int5 -> hypothesis;
その怪談部屋は脱獄しない
fact7 -> int6: 仮にこの当該表示がキャスティングするということはないとしたらそれはきつかなくて撫で消さない;
$facts$ = fact1: この当該表示は物狂おしくない fact2: もしも「なにがしかの物は靡くけどそれは商品毎でない」ということは事実でないとするとそれはきつい fact3: もし仮にこの当該表示は物狂おしくないなら「あの秘密命令は靡くけど商品毎でない」ということは間違いである fact4: もしもとある物がキャスティングしないとすればそれはきついということはないしかつ撫で消さない fact5: あの秘密命令はきついなら「その怪談部屋は撫で消す」ということは事実である fact6: もしも何らかの物が撫で消すとしたら脱獄する ; $hypothesis$ = その怪談部屋は脱獄しない ; $proof$ = 
fact3 & fact1 -> int1: 「あの秘密命令は靡くけれど商品毎であるということはない」ということは誤っている; fact2 -> int2: 仮に「あの秘密命令は靡く一方で商品毎でない」ということは間違っているとすればそれはきつい; int1 & int2 -> int3: あの秘密命令はきつい; int3 & fact5 -> int4: その怪談部屋は撫で消す; fact6 -> int5: もしその怪談部屋が撫で消すとすれば脱獄する; int4 & int5 -> hypothesis; __DISPROVED__
事実1: この当該表示は物狂おしくない
事実2: もしも「なにがしかの物は靡くけどそれは商品毎でない」ということは事実でないとするとそれはきつい
事実3: もし仮にこの当該表示は物狂おしくないなら「あの秘密命令は靡くけど商品毎でない」ということは間違いである
事実4: もしもとある物がキャスティングしないとすればそれはきついということはないしかつ撫で消さない
事実5: あの秘密命令はきついなら「その怪談部屋は撫で消す」ということは事実である
事実6: もしも何らかの物が撫で消すとしたら脱獄する

仮説: その怪談部屋は脱獄しない
1. 事実3と事実1から、推論1: "「あの秘密命令は靡くけれど商品毎であるということはない」ということは誤っている"が導かれる
2. 事実2から、推論2: "仮に「あの秘密命令は靡く一方で商品毎でない」ということは間違っているとすればそれはきつい"が導かれる
3. 推論1と推論2から、推論3: "あの秘密命令はきつい"が導かれる
4. 推論3と事実5から、推論4: "その怪談部屋は撫で消す"が導かれる
5. 事実6から、推論5: "もしその怪談部屋が撫で消すとすれば脱獄する"が導かれる
6. 推論4と推論5から、仮説が否定される

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