あの参照元はハーフウェイ・ハウスでない
fact1: もし仮にその演劇界が定期船市場であるならばあの参照元はハーフウェイ・ハウスだ fact2: その演劇界は定期船市場である
$facts$ = fact1: もし仮にその演劇界が定期船市場であるならばあの参照元はハーフウェイ・ハウスだ fact2: その演劇界は定期船市場である ; $hypothesis$ = あの参照元はハーフウェイ・ハウスでない ; $proof$ = 
事実1: もし仮にその演劇界が定期船市場であるならばあの参照元はハーフウェイ・ハウスだ
事実2: その演劇界は定期船市場である

仮説: あの参照元はハーフウェイ・ハウスでない