「その大著は雪深くない」ということは成り立つ
fact1: もしその大著は誤解され易くないとすれば「雪深い」ということは正しい fact2: その大著は誤解され易くない
$facts$ = fact1: もしその大著は誤解され易くないとすれば「雪深い」ということは正しい fact2: その大著は誤解され易くない ; $hypothesis$ = 「その大著は雪深くない」ということは成り立つ ; $proof$ = 
事実1: もしその大著は誤解され易くないとすれば「雪深い」ということは正しい
事実2: その大著は誤解され易くない

仮説: 「その大著は雪深くない」ということは成り立つ