Premise: The rule and the procedures therein are applicable to the FCC's spectrum auction program.

Hypothesis: The rules and its procedures can't be applied to the auction program.
Relation: contradiction