Premise: The program covers those units covered by the new nationwide sulfur dioxide trading program that are located in the States in the WRAP and that, in any year starting in 2000, emit more than 100 tons of sulfur dioxide and are used to produce electricity for sale.

Hypothesis: The program covers no units covered by the nationwide sulfur dioxide trading program.
Relation: contradiction