この大修行者は上気道であるならば「それは御固くなくてまた心強くない」ということは成り立たない
fact1: もしも「なんらかの物は上気道である」ということは真実であるとすれば「御固くなくて心強いということはない」ということは成り立たない
$facts$ = fact1: もしも「なんらかの物は上気道である」ということは真実であるとすれば「御固くなくて心強いということはない」ということは成り立たない ; $hypothesis$ = この大修行者は上気道であるならば「それは御固くなくてまた心強くない」ということは成り立たない ; $proof$ = 
事実1: もしも「なんらかの物は上気道である」ということは真実であるとすれば「御固くなくて心強いということはない」ということは成り立たない

仮説: この大修行者は上気道であるならば「それは御固くなくてまた心強くない」ということは成り立たない