Premise: Without that, the program might already be closed.

Hypothesis: Even without that, there was no chance the program would close.
Relation: contradiction