この命令は張り渡す
fact1: この命令は止む無い fact2: この命令は止む無いとすれば「張り渡す」ということは確かだ
$facts$ = fact1: この命令は止む無い fact2: この命令は止む無いとすれば「張り渡す」ということは確かだ ; $hypothesis$ = この命令は張り渡す ; $proof$ = 
事実1: この命令は止む無い
事実2: この命令は止む無いとすれば「張り渡す」ということは確かだ

仮説: この命令は張り渡す