あの進言は頼り無くない
fact1: 仮に「あの進言は多しけど八丈実記であるということはない」ということは誤りであるならばそれは寡占する fact2: もしあの進言が寡占するならそれは頼り無い fact3: 「あの進言は多し一方で八丈実記でない」ということは成り立たない
fact1 & fact3 -> int1: 「あの進言は寡占する」ということは正しい; int1 & fact2 -> hypothesis;
fact1 & fact3 -> int1: {B}{a}; int1 & fact2 -> hypothesis;
$facts$ = fact1: 仮に「あの進言は多しけど八丈実記であるということはない」ということは誤りであるならばそれは寡占する fact2: もしあの進言が寡占するならそれは頼り無い fact3: 「あの進言は多し一方で八丈実記でない」ということは成り立たない ; $hypothesis$ = あの進言は頼り無くない ; $proof$ = 
fact1 & fact3 -> int1: 「あの進言は寡占する」ということは正しい; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: 仮に「あの進言は多しけど八丈実記であるということはない」ということは誤りであるならばそれは寡占する
事実2: もしあの進言が寡占するならそれは頼り無い
事実3: 「あの進言は多し一方で八丈実記でない」ということは成り立たない

仮説: あの進言は頼り無くない
1. 事実1と事実3から、推論1: "「あの進言は寡占する」ということは正しい"が導かれる
2. 推論1と事実2から、仮説が否定される

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