Premise: And we shall find Tommy.
Hypothesis: We will never find Tommy. 
Label: contradiction