仮に「この貸し出し中は被験者であるということはないかむさくないかあるいは両方ともである」ということは間違いだとすれば「広がり過ぎる」ということは事実だ
fact1: もしも「あるものは被験者でないかそれはむさくないかまたはどちらもだ」ということは偽であるとしたら広がり過ぎる
$facts$ = fact1: もしも「あるものは被験者でないかそれはむさくないかまたはどちらもだ」ということは偽であるとしたら広がり過ぎる ; $hypothesis$ = 仮に「この貸し出し中は被験者であるということはないかむさくないかあるいは両方ともである」ということは間違いだとすれば「広がり過ぎる」ということは事実だ ; $proof$ = 
事実1: もしも「あるものは被験者でないかそれはむさくないかまたはどちらもだ」ということは偽であるとしたら広がり過ぎる

仮説: 仮に「この貸し出し中は被験者であるということはないかむさくないかあるいは両方ともである」ということは間違いだとすれば「広がり過ぎる」ということは事実だ