Premise: Here was the proof.

Hypothesis: I can't find the proof anymore.
Relation: contradiction