Premise: And if so?

Hypothesis: And if that's true?
Relation: entailment