Penguins Don't Fly: Reasoning about Generics through Instantiations and Exceptions