「仮にその多項式Ｇが就任演説でないとしたらその多項式Ｇは悪い」ということは成り立つということはない
fact1: もしもなにかは就任演説でないとすれば「それは悪い」ということは正しい
$facts$ = fact1: もしもなにかは就任演説でないとすれば「それは悪い」ということは正しい ; $hypothesis$ = 「仮にその多項式Ｇが就任演説でないとしたらその多項式Ｇは悪い」ということは成り立つということはない ; $proof$ = 
事実1: もしもなにかは就任演説でないとすれば「それは悪い」ということは正しい

仮説: 「仮にその多項式Ｇが就任演説でないとしたらその多項式Ｇは悪い」ということは成り立つということはない