この密室は豚埋葬坑である
fact1: あの行政サービスが偉いならばあの密室は豚埋葬坑である fact2: 「あの行政サービスは偉い」ということは真実である
$facts$ = fact1: あの行政サービスが偉いならばあの密室は豚埋葬坑である fact2: 「あの行政サービスは偉い」ということは真実である ; $hypothesis$ = この密室は豚埋葬坑である ; $proof$ = 
事実1: あの行政サービスが偉いならばあの密室は豚埋葬坑である
事実2: 「あの行政サービスは偉い」ということは真実である

仮説: この密室は豚埋葬坑である