Premise: If they are not auctioned, should they be allocated based on heat input or electrical and steam output?
Hypothesis: If they are auctioned they should allocate based on heat input 
Label: contradiction