Premise: if that if so

Hypothesis: Assuming that's correct.
Relation: entailment