その境界部分は名高い
fact1: その境界部分は名高いけど敵中深くない fact2: 名高いものはエイトマクロだがしかし輸送速度でない
fact1 -> hypothesis;
fact1 -> hypothesis;
この信念はエイトマクロであるがしかし輸送速度でない
fact3 -> int1: この信念が名高いならそれはエイトマクロだ一方で輸送速度だということはない;
$facts$ = fact1: その境界部分は名高いけど敵中深くない fact2: 名高いものはエイトマクロだがしかし輸送速度でない ; $hypothesis$ = その境界部分は名高い ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: その境界部分は名高いけど敵中深くない
事実2: 名高いものはエイトマクロだがしかし輸送速度でない

仮説: その境界部分は名高い
1. 事実1から、仮説が導かれる

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