その清掃業は用語説明である
fact1: この国立近代美術館が仰々しいならばその清掃業は用語説明だ fact2: この国立近代美術館は仰々しい
$facts$ = fact1: この国立近代美術館が仰々しいならばその清掃業は用語説明だ fact2: この国立近代美術館は仰々しい ; $hypothesis$ = その清掃業は用語説明である ; $proof$ = 
事実1: この国立近代美術館が仰々しいならばその清掃業は用語説明だ
事実2: この国立近代美術館は仰々しい

仮説: その清掃業は用語説明である