「「仮に「上り線でないがしかし下げ続ける」ということは間違っていれば得られ難い」ものはある」ということは成り立たない
fact1: 仮に「「その大御本尊は上り線でないが下げ続ける」ということは間違っている」ということは真実であるとすれば得られ難い
$facts$ = fact1: 仮に「「その大御本尊は上り線でないが下げ続ける」ということは間違っている」ということは真実であるとすれば得られ難い ; $hypothesis$ = 「「仮に「上り線でないがしかし下げ続ける」ということは間違っていれば得られ難い」ものはある」ということは成り立たない ; $proof$ = 
事実1: 仮に「「その大御本尊は上り線でないが下げ続ける」ということは間違っている」ということは真実であるとすれば得られ難い

仮説: 「「仮に「上り線でないがしかし下げ続ける」ということは間違っていれば得られ難い」ものはある」ということは成り立たない