「なんらかの物は入館しない」ということは誤っている
fact1: あの会社内は入館しない fact2: あのファーストクラスは入館しない
$facts$ = fact1: あの会社内は入館しない fact2: あのファーストクラスは入館しない ; $hypothesis$ = 「なんらかの物は入館しない」ということは誤っている ; $proof$ = 
事実1: あの会社内は入館しない
事実2: あのファーストクラスは入館しない

仮説: 「なんらかの物は入館しない」ということは誤っている