Context: CREATE TABLE table_name_80 (ihsaa_class VARCHAR, _number___county VARCHAR, mascot VARCHAR)
Question: What IHSAA clas is the school with a county number of 12 clinton and the hornets as their mascot?
Answer: SELECT ihsaa_class FROM table_name_80 WHERE _number___county = "12 clinton" AND mascot = "hornets"