「あの台湾防衛は歴史事実だけれどそれは専従するということはない」ということは間違っている
fact1: 何もかもは歴史事実だけど専従しない
$facts$ = fact1: 何もかもは歴史事実だけど専従しない ; $hypothesis$ = 「あの台湾防衛は歴史事実だけれどそれは専従するということはない」ということは間違っている ; $proof$ = 
事実1: 何もかもは歴史事実だけど専従しない

仮説: 「あの台湾防衛は歴史事実だけれどそれは専従するということはない」ということは間違っている