「「「もし提携するとすれば払い切れないしさらに狭苦しくない」ものはある」ということは真実である」ということは誤りだ
fact1: その牌がうっそりであるとすれば安産でなくてそれは払い切れる fact2: もし「ある物は崩壊する」ということは真実だとしたら独り言つないし強しない fact3: 用い易い物はロケット号であるということはないがしかし徹し切れる fact4: 「もし「無糖だ」ということは正しいとしたら操作し易いということはない」物はある fact5: もしもあのインチが狭苦しいとしたら中核事業でないが御固い fact6: もし仮に「あのインチは恙無い」ということは偽だということはないならばそれは払い切れない fact7: もし仮に「あのインチは提携する」ということは正しいとすると払い切れないが狭苦しい fact8: 「とある物は賭する」ということは成り立つとすれば固くない fact9: もし仮にそのタブキーが犯し易いならば狭苦しくないし加えて恙無い fact10: もしもあのインチが旨しなら狭苦しいということはない fact11: もしなにかは提携するとすれば払い切れなくてそれは狭苦しくない
fact11 -> int1: あのインチが提携するなら払い切れなくて狭苦しくない; int1 -> hypothesis;
$facts$ = fact1: その牌がうっそりであるとすれば安産でなくてそれは払い切れる fact2: もし「ある物は崩壊する」ということは真実だとしたら独り言つないし強しない fact3: 用い易い物はロケット号であるということはないがしかし徹し切れる fact4: 「もし「無糖だ」ということは正しいとしたら操作し易いということはない」物はある fact5: もしもあのインチが狭苦しいとしたら中核事業でないが御固い fact6: もし仮に「あのインチは恙無い」ということは偽だということはないならばそれは払い切れない fact7: もし仮に「あのインチは提携する」ということは正しいとすると払い切れないが狭苦しい fact8: 「とある物は賭する」ということは成り立つとすれば固くない fact9: もし仮にそのタブキーが犯し易いならば狭苦しくないし加えて恙無い fact10: もしもあのインチが旨しなら狭苦しいということはない fact11: もしなにかは提携するとすれば払い切れなくてそれは狭苦しくない ; $hypothesis$ = 「「「もし提携するとすれば払い切れないしさらに狭苦しくない」ものはある」ということは真実である」ということは誤りだ ; $proof$ = 
fact11 -> int1: あのインチが提携するなら払い切れなくて狭苦しくない; int1 -> hypothesis; __DISPROVED__
事実1: その牌がうっそりであるとすれば安産でなくてそれは払い切れる
事実2: もし「ある物は崩壊する」ということは真実だとしたら独り言つないし強しない
事実3: 用い易い物はロケット号であるということはないがしかし徹し切れる
事実4: 「もし「無糖だ」ということは正しいとしたら操作し易いということはない」物はある
事実5: もしもあのインチが狭苦しいとしたら中核事業でないが御固い
事実6: もし仮に「あのインチは恙無い」ということは偽だということはないならばそれは払い切れない
事実7: もし仮に「あのインチは提携する」ということは正しいとすると払い切れないが狭苦しい
事実8: 「とある物は賭する」ということは成り立つとすれば固くない
事実9: もし仮にそのタブキーが犯し易いならば狭苦しくないし加えて恙無い
事実10: もしもあのインチが旨しなら狭苦しいということはない
事実11: もしなにかは提携するとすれば払い切れなくてそれは狭苦しくない

仮説: 「「「もし提携するとすれば払い切れないしさらに狭苦しくない」ものはある」ということは真実である」ということは誤りだ
1. 事実11から、推論1: "あのインチが提携するなら払い切れなくて狭苦しくない"が導かれる
2. 推論1から、仮説が否定される

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