Premise: A second, rare, application is where a highly generalized or universal assertion is being called into question, and we are able to test it through examining one instance.

Hypothesis: The second application isn't rare at all and is commonly used.
Relation: contradiction