あの除去は開催場所である
fact1: もしもあの除去がしどけないとすれば開催場所でない fact2: あの除去はしどけない
$facts$ = fact1: もしもあの除去がしどけないとすれば開催場所でない fact2: あの除去はしどけない ; $hypothesis$ = あの除去は開催場所である ; $proof$ = 
事実1: もしもあの除去がしどけないとすれば開催場所でない
事実2: あの除去はしどけない

仮説: あの除去は開催場所である