Premise: That disposes of that."

Hypothesis: That is still here.
Relation: contradiction