あの弗化物応用は現地入りするということはない
fact1: あのコマンダリアは現地入りする fact2: あの弗化物応用は現地入りする
$facts$ = fact1: あのコマンダリアは現地入りする fact2: あの弗化物応用は現地入りする ; $hypothesis$ = あの弗化物応用は現地入りするということはない ; $proof$ = 
事実1: あのコマンダリアは現地入りする
事実2: あの弗化物応用は現地入りする

仮説: あの弗化物応用は現地入りするということはない