そのＵＴＦは古英語だ
fact1: もし仮にそのＵＴＦが痛々しいとすれば古英語である fact2: そのＵＴＦは痛々しい
$facts$ = fact1: もし仮にそのＵＴＦが痛々しいとすれば古英語である fact2: そのＵＴＦは痛々しい ; $hypothesis$ = そのＵＴＦは古英語だ ; $proof$ = 
事実1: もし仮にそのＵＴＦが痛々しいとすれば古英語である
事実2: そのＵＴＦは痛々しい

仮説: そのＵＴＦは古英語だ