Text: For there we are up against the logic of facts.
Entailment: We've run into the facts of the matter.
Contradiction: The facts agree with us on this one.