「このアルテミス号は三差路でない」ということは成り立つ
fact1: このアルテミス号は掠め取る fact2: 仮にこのアルテミス号が掠め取るなら三差路だ
$facts$ = fact1: このアルテミス号は掠め取る fact2: 仮にこのアルテミス号が掠め取るなら三差路だ ; $hypothesis$ = 「このアルテミス号は三差路でない」ということは成り立つ ; $proof$ = 
事実1: このアルテミス号は掠め取る
事実2: 仮にこのアルテミス号が掠め取るなら三差路だ

仮説: 「このアルテミス号は三差路でない」ということは成り立つ