そのＨＵＤは下ろし易くない
fact1: そのＨＵＤは処さないけれど怖ーい fact2: この原理図は下ろし易くない fact3: もし仮に「そのＨＵＤは処さない一方で怖ーい」ということは真実であるなら下ろし易い fact4: そのＨＵＤは処さない
fact3 & fact1 -> hypothesis;
fact3 & fact1 -> hypothesis;
$facts$ = fact1: そのＨＵＤは処さないけれど怖ーい fact2: この原理図は下ろし易くない fact3: もし仮に「そのＨＵＤは処さない一方で怖ーい」ということは真実であるなら下ろし易い fact4: そのＨＵＤは処さない ; $hypothesis$ = そのＨＵＤは下ろし易くない ; $proof$ = 
fact3 & fact1 -> hypothesis; __DISPROVED__
事実1: そのＨＵＤは処さないけれど怖ーい
事実2: この原理図は下ろし易くない
事実3: もし仮に「そのＨＵＤは処さない一方で怖ーい」ということは真実であるなら下ろし易い
事実4: そのＨＵＤは処さない

仮説: そのＨＵＤは下ろし易くない
1. 事実3と事実1から、仮説が否定される

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