Premise: so not formally

Hypothesis: informally
Relation: entailment