その国家文物局は子豚達である
fact1: 「もしもその国家文物局が賢いならその国家文物局は子豚達だ」ということは成り立つ fact2: 「その国家文物局は賢い」ということは確かだ
$facts$ = fact1: 「もしもその国家文物局が賢いならその国家文物局は子豚達だ」ということは成り立つ fact2: 「その国家文物局は賢い」ということは確かだ ; $hypothesis$ = その国家文物局は子豚達である ; $proof$ = 
事実1: 「もしもその国家文物局が賢いならその国家文物局は子豚達だ」ということは成り立つ
事実2: 「その国家文物局は賢い」ということは確かだ

仮説: その国家文物局は子豚達である