Premise: This office has many employees with enough miles on single carriers for free trips, but these miles have been difficult to use because few seats have been available when employees have needed to travel.
Hypothesis: When employees need to travel, there are always open seats. 
Label: contradiction