その登記所提出用は眩し過ぎるということはない
fact1: その登記所提出用は用心深い fact2: もしその登記所提出用が用心深いとすれば眩し過ぎる
$facts$ = fact1: その登記所提出用は用心深い fact2: もしその登記所提出用が用心深いとすれば眩し過ぎる ; $hypothesis$ = その登記所提出用は眩し過ぎるということはない ; $proof$ = 
事実1: その登記所提出用は用心深い
事実2: もしその登記所提出用が用心深いとすれば眩し過ぎる

仮説: その登記所提出用は眩し過ぎるということはない