「「製品等だし更に住み易いということはない」ということは真実でない」物はある
fact1: 「「製品等だししかも住み易い」ということは成り立たない」物はある fact2: もしもその当該子は視察しないなら「「あのダウンドラフトは強めるがしかし切り盛りしない」ということは間違いである」ということは成り立つ fact3: 「あの調査村は製品等である一方で住み易いということはない」ということは偽だ fact4: 住み易くない製品等はある
fact3 -> hypothesis;
fact3 -> hypothesis;
「「強めるし加えて切り盛りしない」ということは嘘である」ものはある
$facts$ = fact1: 「「製品等だししかも住み易い」ということは成り立たない」物はある fact2: もしもその当該子は視察しないなら「「あのダウンドラフトは強めるがしかし切り盛りしない」ということは間違いである」ということは成り立つ fact3: 「あの調査村は製品等である一方で住み易いということはない」ということは偽だ fact4: 住み易くない製品等はある ; $hypothesis$ = 「「製品等だし更に住み易いということはない」ということは真実でない」物はある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「「製品等だししかも住み易い」ということは成り立たない」物はある
事実2: もしもその当該子は視察しないなら「「あのダウンドラフトは強めるがしかし切り盛りしない」ということは間違いである」ということは成り立つ
事実3: 「あの調査村は製品等である一方で住み易いということはない」ということは偽だ
事実4: 住み易くない製品等はある

仮説: 「「製品等だし更に住み易いということはない」ということは真実でない」物はある
1. 事実3から、仮説が導かれる

よって、仮説が証明されました。