あの救済規則は一般仮陸揚げ貨物でない
fact1: あの再生手続き開始申し立ては板書する fact2: なんらかの物が車線なら板書しないけど打ち易い fact3: 「もし「とあるものは一般仮陸揚げ貨物であるかもしくは限り無いということはない」ということは正しくないとすれば車線だ」ということは真実である fact4: 仮にあの再生手続き開始申し立ては車線であるかまたは板書するかもしくは両方であるなら限り無くない fact5: あの小児血液病センターは板書する fact6: その本社子会社間はむず痒いしそれに理論面である fact7: もし「ある物は板書しない一方で限り無い」ということは成り立たないとするとそれは車線でない fact8: もしも「あの再生手続き開始申し立ては限り無くない」ということは真実だとするとあの救済規則はむず痒くないけれど限り無い fact9: むず痒くなくて限り無い物は一般仮陸揚げ貨物である fact10: もし仮に何らかのものはむず痒いとすれば「その敗北感は板書しないがしかし限り無い」ということは偽である
fact1 -> int1: あの再生手続き開始申し立ては車線であるか板書するかもしくは両方である; int1 & fact4 -> int2: あの再生手続き開始申し立ては限り無くない; int2 & fact8 -> int3: あの救済規則はむず痒くないけれど限り無い; fact9 -> int4: もしあの救済規則はむず痒くないけれど限り無いとすればそれは一般仮陸揚げ貨物である; int3 & int4 -> hypothesis;
この穴掘りは板書しないがしかし打ち易い
fact11 -> int5: 仮にこの穴掘りが車線だとしたら板書しないけれど打ち易い; fact12 -> int6: もし仮に「この穴掘りは一般仮陸揚げ貨物であるかまたは限り無くないかあるいはどちらもである」ということは誤りであるならばそれは車線である;
$facts$ = fact1: あの再生手続き開始申し立ては板書する fact2: なんらかの物が車線なら板書しないけど打ち易い fact3: 「もし「とあるものは一般仮陸揚げ貨物であるかもしくは限り無いということはない」ということは正しくないとすれば車線だ」ということは真実である fact4: 仮にあの再生手続き開始申し立ては車線であるかまたは板書するかもしくは両方であるなら限り無くない fact5: あの小児血液病センターは板書する fact6: その本社子会社間はむず痒いしそれに理論面である fact7: もし「ある物は板書しない一方で限り無い」ということは成り立たないとするとそれは車線でない fact8: もしも「あの再生手続き開始申し立ては限り無くない」ということは真実だとするとあの救済規則はむず痒くないけれど限り無い fact9: むず痒くなくて限り無い物は一般仮陸揚げ貨物である fact10: もし仮に何らかのものはむず痒いとすれば「その敗北感は板書しないがしかし限り無い」ということは偽である ; $hypothesis$ = あの救済規則は一般仮陸揚げ貨物でない ; $proof$ = 
fact1 -> int1: あの再生手続き開始申し立ては車線であるか板書するかもしくは両方である; int1 & fact4 -> int2: あの再生手続き開始申し立ては限り無くない; int2 & fact8 -> int3: あの救済規則はむず痒くないけれど限り無い; fact9 -> int4: もしあの救済規則はむず痒くないけれど限り無いとすればそれは一般仮陸揚げ貨物である; int3 & int4 -> hypothesis; __DISPROVED__
事実1: あの再生手続き開始申し立ては板書する
事実2: なんらかの物が車線なら板書しないけど打ち易い
事実3: 「もし「とあるものは一般仮陸揚げ貨物であるかもしくは限り無いということはない」ということは正しくないとすれば車線だ」ということは真実である
事実4: 仮にあの再生手続き開始申し立ては車線であるかまたは板書するかもしくは両方であるなら限り無くない
事実5: あの小児血液病センターは板書する
事実6: その本社子会社間はむず痒いしそれに理論面である
事実7: もし「ある物は板書しない一方で限り無い」ということは成り立たないとするとそれは車線でない
事実8: もしも「あの再生手続き開始申し立ては限り無くない」ということは真実だとするとあの救済規則はむず痒くないけれど限り無い
事実9: むず痒くなくて限り無い物は一般仮陸揚げ貨物である
事実10: もし仮に何らかのものはむず痒いとすれば「その敗北感は板書しないがしかし限り無い」ということは偽である

仮説: あの救済規則は一般仮陸揚げ貨物でない
1. 事実1から、推論1: "あの再生手続き開始申し立ては車線であるか板書するかもしくは両方である"が導かれる
2. 推論1と事実4から、推論2: "あの再生手続き開始申し立ては限り無くない"が導かれる
3. 推論2と事実8から、推論3: "あの救済規則はむず痒くないけれど限り無い"が導かれる
4. 事実9から、推論4: "もしあの救済規則はむず痒くないけれど限り無いとすればそれは一般仮陸揚げ貨物である"が導かれる
5. 推論3と推論4から、仮説が否定される

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