あの本プログラムは御出迎えない
fact1: あの本プログラムは御出迎える fact2: あの与信判断は御出迎える
$facts$ = fact1: あの本プログラムは御出迎える fact2: あの与信判断は御出迎える ; $hypothesis$ = あの本プログラムは御出迎えない ; $proof$ = 
事実1: あの本プログラムは御出迎える
事実2: あの与信判断は御出迎える

仮説: あの本プログラムは御出迎えない