その千九百八十一Ｂはエンターキーだ
fact1: このサン・アントニオ・デ・ラ・フロリダ教会は小暗い fact2: その千九百八十一Ｂは小暗くておまけにエンターキーである
fact2 -> hypothesis;
$facts$ = fact1: このサン・アントニオ・デ・ラ・フロリダ教会は小暗い fact2: その千九百八十一Ｂは小暗くておまけにエンターキーである ; $hypothesis$ = その千九百八十一Ｂはエンターキーだ ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: このサン・アントニオ・デ・ラ・フロリダ教会は小暗い
事実2: その千九百八十一Ｂは小暗くておまけにエンターキーである

仮説: その千九百八十一Ｂはエンターキーだ
1. 事実2から、仮説が導かれる

よって、仮説が証明されました。