Premise: A proof of that occurred almost at once.

Hypothesis: There was no proof available.
Relation: contradiction