「つまされるとしたらどないしないかまたは全集類でないかあるいは両方である」物はある
fact1: もしもこの下降がつまされるとしたらそれはどないしないかまたは全集類でないか両方だ
$facts$ = fact1: もしもこの下降がつまされるとしたらそれはどないしないかまたは全集類でないか両方だ ; $hypothesis$ = 「つまされるとしたらどないしないかまたは全集類でないかあるいは両方である」物はある ; $proof$ = 
事実1: もしもこの下降がつまされるとしたらそれはどないしないかまたは全集類でないか両方だ

仮説: 「つまされるとしたらどないしないかまたは全集類でないかあるいは両方である」物はある