そのオーディオ機器は甚振り殺さない
fact1: 「軟らかくて甚振り殺す」ものはある fact2: もし仮になんらかのものが甚振り殺すけれど地区毎でないとするとそのオーディオ機器は軟らかい fact3: 「列記しない」ものはある fact4: とあるものは甚振り殺すけれど軟らかくない fact5: 「畏敬な」ものはある fact6: 「極意山高するけど分かち難くない」物はある fact7: 何らかの物は畏敬であるということはない fact8: 「水上艦艇でない」物はある fact9: 「甚振り殺す」ものはある fact10: もしもなにがしかのものが軟らかい一方で地区毎でないとすればあのオーディオ機器は甚振り殺す fact11: なんらかのものは感知出来る fact12: もし仮に「甚振り殺さない」物はあるとすれば「そのオーディオ機器は地区毎だが軟らかいということはない」ということは成り立つ fact13: その送金は貯食行動系列でない fact14: 何らかのものが畏敬でないならばその送金は軟らかいがしかし地区毎であるということはない fact15: そのオーディオ機器は軟らかくない
fact7 & fact14 -> int1: その送金は軟らかいがしかし地区毎でない; int1 -> int2: なんらかのものは軟らかいが地区毎でない; int2 & fact10 -> hypothesis;
$facts$ = fact1: 「軟らかくて甚振り殺す」ものはある fact2: もし仮になんらかのものが甚振り殺すけれど地区毎でないとするとそのオーディオ機器は軟らかい fact3: 「列記しない」ものはある fact4: とあるものは甚振り殺すけれど軟らかくない fact5: 「畏敬な」ものはある fact6: 「極意山高するけど分かち難くない」物はある fact7: 何らかの物は畏敬であるということはない fact8: 「水上艦艇でない」物はある fact9: 「甚振り殺す」ものはある fact10: もしもなにがしかのものが軟らかい一方で地区毎でないとすればあのオーディオ機器は甚振り殺す fact11: なんらかのものは感知出来る fact12: もし仮に「甚振り殺さない」物はあるとすれば「そのオーディオ機器は地区毎だが軟らかいということはない」ということは成り立つ fact13: その送金は貯食行動系列でない fact14: 何らかのものが畏敬でないならばその送金は軟らかいがしかし地区毎であるということはない fact15: そのオーディオ機器は軟らかくない ; $hypothesis$ = そのオーディオ機器は甚振り殺さない ; $proof$ = 
fact7 & fact14 -> int1: その送金は軟らかいがしかし地区毎でない; int1 -> int2: なんらかのものは軟らかいが地区毎でない; int2 & fact10 -> hypothesis; __DISPROVED__
事実1: 「軟らかくて甚振り殺す」ものはある
事実2: もし仮になんらかのものが甚振り殺すけれど地区毎でないとするとそのオーディオ機器は軟らかい
事実3: 「列記しない」ものはある
事実4: とあるものは甚振り殺すけれど軟らかくない
事実5: 「畏敬な」ものはある
事実6: 「極意山高するけど分かち難くない」物はある
事実7: 何らかの物は畏敬であるということはない
事実8: 「水上艦艇でない」物はある
事実9: 「甚振り殺す」ものはある
事実10: もしもなにがしかのものが軟らかい一方で地区毎でないとすればあのオーディオ機器は甚振り殺す
事実11: なんらかのものは感知出来る
事実12: もし仮に「甚振り殺さない」物はあるとすれば「そのオーディオ機器は地区毎だが軟らかいということはない」ということは成り立つ
事実13: その送金は貯食行動系列でない
事実14: 何らかのものが畏敬でないならばその送金は軟らかいがしかし地区毎であるということはない
事実15: そのオーディオ機器は軟らかくない

仮説: そのオーディオ機器は甚振り殺さない
1. 事実7と事実14から、推論1: "その送金は軟らかいがしかし地区毎でない"が導かれる
2. 推論1から、推論2: "なんらかのものは軟らかいが地区毎でない"が導かれる
3. 推論2と事実10から、仮説が否定される

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