この先々は揺るぎない
fact1: このフィヨルドは揺るぎない fact2: この先々は手続きだし揺るぎない
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: このフィヨルドは揺るぎない fact2: この先々は手続きだし揺るぎない ; $hypothesis$ = この先々は揺るぎない ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: このフィヨルドは揺るぎない
事実2: この先々は手続きだし揺るぎない

仮説: この先々は揺るぎない
1. 事実2から、仮説が導かれる

よって、仮説が証明されました。