「あのコーストは負電荷でないが重る」ということは嘘である
fact1: 「あのコーストは負電荷でないけど重る」ということは間違っている
$facts$ = fact1: 「あのコーストは負電荷でないけど重る」ということは間違っている ; $hypothesis$ = 「あのコーストは負電荷でないが重る」ということは嘘である ; $proof$ = 
事実1: 「あのコーストは負電荷でないけど重る」ということは間違っている

仮説: 「あのコーストは負電荷でないが重る」ということは嘘である