Premise: Auctions.

Hypothesis: No auction. 
Relation: contradiction