Hardstyle didn't exist before 2000 mate. ID&T came up with the term in 2001 and Q-Dance adapted it in 2001. Furthermore, most sources for the style have been Dutch oldschool, German hardhouse and Italian hardtrance/techno. UK hardhouse has never been in the picture..

That doesn't mean tho that UK hardhouse exists which is very to the liking of hardstyle but as a matter a fact I don't think that these tunes are hardstyle.