「「もし仮に二倍するなら戻り易くないし更に取り回し性でない」物はある」ということは嘘である
fact1: 「もし仮に二倍すれば戻り易いけれど取り回し性でない」物はある fact2: もし仮にこの需要予測が二倍するならそれは戻り易くないが取り回し性だ fact3: 仮にこの需要予測が二倍すれば戻り易くない fact4: 「仮に二倍するなら戻り易くないがしかし取り回し性である」物はある fact5: もし仮にそのエレベーター前が白いならそれは示指であるということはないが取り回し性だ fact6: 装飾音は黒っぽくないしかつ込み入らない fact7: 仮にこの需要予測が二倍するとすれば戻り易くないしまた取り回し性でない
fact7 -> hypothesis;
「仮に「装飾音である」ということは間違っていないとすれば黒っぽくないしおまけに込み入らない」物はある
fact8 -> int1: あの田深川流域が装飾音だとすれば黒っぽくないし更に込み入らない; int1 -> hypothesis;
$facts$ = fact1: 「もし仮に二倍すれば戻り易いけれど取り回し性でない」物はある fact2: もし仮にこの需要予測が二倍するならそれは戻り易くないが取り回し性だ fact3: 仮にこの需要予測が二倍すれば戻り易くない fact4: 「仮に二倍するなら戻り易くないがしかし取り回し性である」物はある fact5: もし仮にそのエレベーター前が白いならそれは示指であるということはないが取り回し性だ fact6: 装飾音は黒っぽくないしかつ込み入らない fact7: 仮にこの需要予測が二倍するとすれば戻り易くないしまた取り回し性でない ; $hypothesis$ = 「「もし仮に二倍するなら戻り易くないし更に取り回し性でない」物はある」ということは嘘である ; $proof$ = 
fact7 -> hypothesis; __DISPROVED__
事実1: 「もし仮に二倍すれば戻り易いけれど取り回し性でない」物はある
事実2: もし仮にこの需要予測が二倍するならそれは戻り易くないが取り回し性だ
事実3: 仮にこの需要予測が二倍すれば戻り易くない
事実4: 「仮に二倍するなら戻り易くないがしかし取り回し性である」物はある
事実5: もし仮にそのエレベーター前が白いならそれは示指であるということはないが取り回し性だ
事実6: 装飾音は黒っぽくないしかつ込み入らない
事実7: 仮にこの需要予測が二倍するとすれば戻り易くないしまた取り回し性でない

仮説: 「「もし仮に二倍するなら戻り易くないし更に取り回し性でない」物はある」ということは嘘である
1. 事実7から、仮説が否定される

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