When another proof excludes a particular case from a general ruling, how is this normally classified in later legal theory?

Comprehensive Review: Applied Mastery of Usul al-Tafsir