「もしその一人客は理解し易くないならば「その一人客は薄暗いがドッキングだということはない」ということは間違いである」ということは誤りだ
fact1: とある物は理解し易くないならば「薄暗いしさらにそれはドッキングでない」ということは誤りだ
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: とある物は理解し易くないならば「薄暗いしさらにそれはドッキングでない」ということは誤りだ ; $hypothesis$ = 「もしその一人客は理解し易くないならば「その一人客は薄暗いがドッキングだということはない」ということは間違いである」ということは誤りだ ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: とある物は理解し易くないならば「薄暗いしさらにそれはドッキングでない」ということは誤りだ

仮説: 「もしその一人客は理解し易くないならば「その一人客は薄暗いがドッキングだということはない」ということは間違いである」ということは誤りだ
1. 事実1から、仮説が否定される

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