あの監査人は入城しない
fact1: あの白ビームは入城する fact2: あの監査人は入城する
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: あの白ビームは入城する fact2: あの監査人は入城する ; $hypothesis$ = あの監査人は入城しない ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: あの白ビームは入城する
事実2: あの監査人は入城する

仮説: あの監査人は入城しない
1. 事実2から、仮説が否定される

よって、仮説が否定されました。