あの見せ掛けは御成らない
fact1: 「この孤立化は飾り金具だということはないがしかし燻す」ということは本当でない fact2: あの以上は十倍するか余儀無くないかもしくは両方ともだ fact3: もし仮にあの見せ掛けが余儀無くないとしたらあの以上は御成る fact4: もし仮にあの以上が十倍するとしたらあの見せ掛けは御成る fact5: もし何かは余儀無いとするとそれは十倍しないかもしくは御成るということはない fact6: もしも「この孤立化は飾り金具でないが燻す」ということは成り立たないとすれば飾り金具だ fact7: もしあの以上が余儀無いということはないならあの見せ掛けは御成る
fact2 & fact4 & fact7 -> hypothesis;
fact2 & fact4 & fact7 -> hypothesis;
あの見せ掛けは御成らない
fact9 -> int1: もしあの以上が余儀無いとしたら十倍しないかもしくはそれは御成らない; fact8 & fact10 -> int2: この孤立化は飾り金具だ; int2 -> int3: あるものは飾り金具である;
$facts$ = fact1: 「この孤立化は飾り金具だということはないがしかし燻す」ということは本当でない fact2: あの以上は十倍するか余儀無くないかもしくは両方ともだ fact3: もし仮にあの見せ掛けが余儀無くないとしたらあの以上は御成る fact4: もし仮にあの以上が十倍するとしたらあの見せ掛けは御成る fact5: もし何かは余儀無いとするとそれは十倍しないかもしくは御成るということはない fact6: もしも「この孤立化は飾り金具でないが燻す」ということは成り立たないとすれば飾り金具だ fact7: もしあの以上が余儀無いということはないならあの見せ掛けは御成る ; $hypothesis$ = あの見せ掛けは御成らない ; $proof$ = 
fact2 & fact4 & fact7 -> hypothesis; __DISPROVED__
事実1: 「この孤立化は飾り金具だということはないがしかし燻す」ということは本当でない
事実2: あの以上は十倍するか余儀無くないかもしくは両方ともだ
事実3: もし仮にあの見せ掛けが余儀無くないとしたらあの以上は御成る
事実4: もし仮にあの以上が十倍するとしたらあの見せ掛けは御成る
事実5: もし何かは余儀無いとするとそれは十倍しないかもしくは御成るということはない
事実6: もしも「この孤立化は飾り金具でないが燻す」ということは成り立たないとすれば飾り金具だ
事実7: もしあの以上が余儀無いということはないならあの見せ掛けは御成る

仮説: あの見せ掛けは御成らない
1. 事実2と事実4と事実7から、仮説が否定される

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