Premise:  Tis here, tis here, tis here!
Hypothesis: It is not here, it is not here!
Label: contradiction