あのコンピュータプログラムはカバー出来ない一方でそれは馬蹄型である
fact1: 「あのコンピュータプログラムはカバー出来ないが馬蹄型だ」ということは誤っている
$facts$ = fact1: 「あのコンピュータプログラムはカバー出来ないが馬蹄型だ」ということは誤っている ; $hypothesis$ = あのコンピュータプログラムはカバー出来ない一方でそれは馬蹄型である ; $proof$ = 
事実1: 「あのコンピュータプログラムはカバー出来ないが馬蹄型だ」ということは誤っている

仮説: あのコンピュータプログラムはカバー出来ない一方でそれは馬蹄型である