Text: A proof of that occurred almost at once.
Entailment: Proof of its incidence was immediately brought up.
Contradiction: There was no proof available.