その設備名称は訂正しない
fact1: もしもその設備名称が平べったいけれど甘ったるくないとしたらあの都市計画区域内は豪槍であるということはない fact2: その設備名称はカリウム塩である fact3: その代替資産は訂正する fact4: 「なにがしかのものは頭頂葉であるかあるいは覚え易いかもしくはどちらもだ」ということは誤りであるならば「想定すらない」ということは真実である fact5: もし仮に何らかのものが豪槍でないなら見付け難くてさらに訂正する fact6: その設備名称は訂正する fact7: その賃貸借規定は訂正する fact8: そのオールスター戦は訂正する fact9: もしもあるものが想定すらないとするとそれは平べったいしそれは甘ったるくない fact10: その設備名称はアサインする
fact6 -> hypothesis;
fact6 -> hypothesis;
あの都市計画区域内は訂正する
fact13 -> int1: もし「あの都市計画区域内は豪槍でない」ということは正しいとすればそれは見付け難くて加えて訂正する; fact12 -> int2: 仮にその設備名称が想定すということはないとすればそれは平べったいが甘ったるいということはない; fact14 -> int3: 仮に「「その設備名称は頭頂葉であるかあるいは覚え易いか両方ともだ」ということは確かである」ということは成り立たないとすると想定すということはない;
$facts$ = fact1: もしもその設備名称が平べったいけれど甘ったるくないとしたらあの都市計画区域内は豪槍であるということはない fact2: その設備名称はカリウム塩である fact3: その代替資産は訂正する fact4: 「なにがしかのものは頭頂葉であるかあるいは覚え易いかもしくはどちらもだ」ということは誤りであるならば「想定すらない」ということは真実である fact5: もし仮に何らかのものが豪槍でないなら見付け難くてさらに訂正する fact6: その設備名称は訂正する fact7: その賃貸借規定は訂正する fact8: そのオールスター戦は訂正する fact9: もしもあるものが想定すらないとするとそれは平べったいしそれは甘ったるくない fact10: その設備名称はアサインする ; $hypothesis$ = その設備名称は訂正しない ; $proof$ = 
fact6 -> hypothesis; __DISPROVED__
事実1: もしもその設備名称が平べったいけれど甘ったるくないとしたらあの都市計画区域内は豪槍であるということはない
事実2: その設備名称はカリウム塩である
事実3: その代替資産は訂正する
事実4: 「なにがしかのものは頭頂葉であるかあるいは覚え易いかもしくはどちらもだ」ということは誤りであるならば「想定すらない」ということは真実である
事実5: もし仮に何らかのものが豪槍でないなら見付け難くてさらに訂正する
事実6: その設備名称は訂正する
事実7: その賃貸借規定は訂正する
事実8: そのオールスター戦は訂正する
事実9: もしもあるものが想定すらないとするとそれは平べったいしそれは甘ったるくない
事実10: その設備名称はアサインする

仮説: その設備名称は訂正しない
1. 事実6から、仮説が否定される

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