この第三飛行隊は紅型だ
fact1: もし「この第三飛行隊は圧倒すらないけど早慶戦である」ということは事実でないとすると「紅型でない」ということは正しい fact2: 「この第三飛行隊は圧倒すらないけれど早慶戦である」ということは間違いである
$facts$ = fact1: もし「この第三飛行隊は圧倒すらないけど早慶戦である」ということは事実でないとすると「紅型でない」ということは正しい fact2: 「この第三飛行隊は圧倒すらないけれど早慶戦である」ということは間違いである ; $hypothesis$ = この第三飛行隊は紅型だ ; $proof$ = 
事実1: もし「この第三飛行隊は圧倒すらないけど早慶戦である」ということは事実でないとすると「紅型でない」ということは正しい
事実2: 「この第三飛行隊は圧倒すらないけれど早慶戦である」ということは間違いである

仮説: この第三飛行隊は紅型だ