Premise: We know that type very well since we live on one.

Hypothesis: We are very familiar with that type, since we stay on one.
Relation: entailment