「この通天が判定出来ないとするとこの通天は鉄鎖でないし下ろし易くない」ということは事実と異なる
fact1: もしもなにがしかの物が判定出来ないならば鉄鎖でなくて加えて下ろし易くない
$facts$ = fact1: もしもなにがしかの物が判定出来ないならば鉄鎖でなくて加えて下ろし易くない ; $hypothesis$ = 「この通天が判定出来ないとするとこの通天は鉄鎖でないし下ろし易くない」ということは事実と異なる ; $proof$ = 
事実1: もしもなにがしかの物が判定出来ないならば鉄鎖でなくて加えて下ろし易くない

仮説: 「この通天が判定出来ないとするとこの通天は鉄鎖でないし下ろし易くない」ということは事実と異なる