この平絹は引き継がない
fact1: それは免れ得ないけれど届け出制度であるというものはない fact2: あの運搬中は頼み難い fact3: もし「その競馬は免れ得ないけど届け出制度である」ということは成り立つということはないとすれば提言する fact4: もしも「この平絹は届け出制度でないがそれは免れ得る」ということは成り立たないなら引き継ぐ fact5: 仮にその競馬が提言するしおまけにそれが頼み難いとするとその脆弱性は左右され易いということはない fact6: その競馬は頼み難い fact7: 「この平絹は引き継ぐということはないがしかし届け出制度だ」ということは間違いである fact8: その保証契約は展開し易くて届け出制度だ fact9: 仮にその脆弱性は左右され易くないとすると「この平絹は引き継ぐ」ということは確かだ fact10: もし「その脆弱性は届け出制度でないけれど提言する」ということは成り立つということはないとすれば「左右され易い」ということは成り立つ
fact1 -> int1: 「その競馬は免れ得ないけど届け出制度である」ということは嘘である; int1 & fact3 -> int2: その競馬は提言する; int2 & fact6 -> int3: その競馬は提言するしさらに頼み難い; int3 & fact5 -> int4: その脆弱性は左右され易くない; int4 & fact9 -> hypothesis;
$facts$ = fact1: それは免れ得ないけれど届け出制度であるというものはない fact2: あの運搬中は頼み難い fact3: もし「その競馬は免れ得ないけど届け出制度である」ということは成り立つということはないとすれば提言する fact4: もしも「この平絹は届け出制度でないがそれは免れ得る」ということは成り立たないなら引き継ぐ fact5: 仮にその競馬が提言するしおまけにそれが頼み難いとするとその脆弱性は左右され易いということはない fact6: その競馬は頼み難い fact7: 「この平絹は引き継ぐということはないがしかし届け出制度だ」ということは間違いである fact8: その保証契約は展開し易くて届け出制度だ fact9: 仮にその脆弱性は左右され易くないとすると「この平絹は引き継ぐ」ということは確かだ fact10: もし「その脆弱性は届け出制度でないけれど提言する」ということは成り立つということはないとすれば「左右され易い」ということは成り立つ ; $hypothesis$ = この平絹は引き継がない ; $proof$ = 
fact1 -> int1: 「その競馬は免れ得ないけど届け出制度である」ということは嘘である; int1 & fact3 -> int2: その競馬は提言する; int2 & fact6 -> int3: その競馬は提言するしさらに頼み難い; int3 & fact5 -> int4: その脆弱性は左右され易くない; int4 & fact9 -> hypothesis; __DISPROVED__
事実1: それは免れ得ないけれど届け出制度であるというものはない
事実2: あの運搬中は頼み難い
事実3: もし「その競馬は免れ得ないけど届け出制度である」ということは成り立つということはないとすれば提言する
事実4: もしも「この平絹は届け出制度でないがそれは免れ得る」ということは成り立たないなら引き継ぐ
事実5: 仮にその競馬が提言するしおまけにそれが頼み難いとするとその脆弱性は左右され易いということはない
事実6: その競馬は頼み難い
事実7: 「この平絹は引き継ぐということはないがしかし届け出制度だ」ということは間違いである
事実8: その保証契約は展開し易くて届け出制度だ
事実9: 仮にその脆弱性は左右され易くないとすると「この平絹は引き継ぐ」ということは確かだ
事実10: もし「その脆弱性は届け出制度でないけれど提言する」ということは成り立つということはないとすれば「左右され易い」ということは成り立つ

仮説: この平絹は引き継がない
1. 事実1から、推論1: "「その競馬は免れ得ないけど届け出制度である」ということは嘘である"が導かれる
2. 推論1と事実3から、推論2: "その競馬は提言する"が導かれる
3. 推論2と事実6から、推論3: "その競馬は提言するしさらに頼み難い"が導かれる
4. 推論3と事実5から、推論4: "その脆弱性は左右され易くない"が導かれる
5. 推論4と事実9から、仮説が否定される

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