「この栽培地は住み良いならば「この栽培地は繋ぐということはない」ということは真実である」ということは成り立たない
fact1: 住み良い物は繋ぐ fact2: もし仮にこの栽培地が住み良いとしたら繋ぐ fact3: もし仮になにがしかの物が住み良いならそれは繋がない
fact3 -> hypothesis;
$facts$ = fact1: 住み良い物は繋ぐ fact2: もし仮にこの栽培地が住み良いとしたら繋ぐ fact3: もし仮になにがしかの物が住み良いならそれは繋がない ; $hypothesis$ = 「この栽培地は住み良いならば「この栽培地は繋ぐということはない」ということは真実である」ということは成り立たない ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: 住み良い物は繋ぐ
事実2: もし仮にこの栽培地が住み良いとしたら繋ぐ
事実3: もし仮になにがしかの物が住み良いならそれは繋がない

仮説: 「この栽培地は住み良いならば「この栽培地は繋ぐということはない」ということは真実である」ということは成り立たない
1. 事実3から、仮説が否定される

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