「この強豪チームはＨＯＰでなくてそれに多くない」ということは嘘である
fact1: この強豪チームはＨＯＰでなくておまけに多くない
$facts$ = fact1: この強豪チームはＨＯＰでなくておまけに多くない ; $hypothesis$ = 「この強豪チームはＨＯＰでなくてそれに多くない」ということは嘘である ; $proof$ = 
事実1: この強豪チームはＨＯＰでなくておまけに多くない

仮説: 「この強豪チームはＨＯＰでなくてそれに多くない」ということは嘘である