Premise: For there we are up against the logic of facts.

Hypothesis: We've run into the facts of the matter.
Relation: entailment