「あのＡ分遣隊は遣る」ということは成り立つ
fact1: あのＡ分遣隊はニュメレールだ fact2: 仮にあのＡ分遣隊はニュメレールであるとすれば遣る
$facts$ = fact1: あのＡ分遣隊はニュメレールだ fact2: 仮にあのＡ分遣隊はニュメレールであるとすれば遣る ; $hypothesis$ = 「あのＡ分遣隊は遣る」ということは成り立つ ; $proof$ = 
事実1: あのＡ分遣隊はニュメレールだ
事実2: 仮にあのＡ分遣隊はニュメレールであるとすれば遣る

仮説: 「あのＡ分遣隊は遣る」ということは成り立つ